Conferences in DBLP
Somesh Jha , Stefan Schwoon , Hao Wang , Thomas W. Reps Weighted Pushdown Systems and Trust-Management Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jyotirmoy V. Deshmukh , E. Allen Emerson , Prateek Gupta Automatic Verification of Parameterized Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Ping Yang , Samik Basu , C. R. Ramakrishnan Parameterized Verification of pi-Calculus Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey M. Brown , Lee Pike Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew B. Dwyer , John Hatcliff , Matthew Hoosier , Venkatesh Prasad Ranganath , Robby , Todd Wallentine Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Siminiceanu , Gianfranco Ciardo New Metrics for Static Variable Ordering in Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Kettle , Andy King , Tadeusz Strzemecki Widening ROBDDs with Prime Implicants. [Citation Graph (0, 0)][DBLP ] Conf ] Dina Thomas , Supratik Chakraborty , Paritosh K. Pandya Efficient Guided Symbolic Reachability Using Reachability Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Malay K. Ganai , Muralidhar Talupur , Aarti Gupta SDSAT : Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver.Citation Graph (0, 0)][DBLP ] Conf ] Sagar Chaki SAT-Based Software Certification. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fontaine , Jean-Yves Marion , Stephan Merz , Leonor Prensa Nieto , Alwen Fernanto Tiu Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Collavizza , Michel Rueher Exploration of the Capabilities of Constraint Programming for Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara König , Vitali Kozioura Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Arie Gurfinkel , Marsha Chechik Why Waste a Perfectly Good Abstraction?. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Li , Fabio Somenzi Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Kroening , Natasha Sharygina Approximating Predicate Images for Bit-Vector Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chatterjee , Thomas A. Henzinger Finitary Winning in omega-Regular Games. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Niebert , Doron Peled Efficient Model Checking for LTL with Partial Order Snapshots. [Citation Graph (0, 0)][DBLP ] Conf ] Dino Distefano , Peter W. O'Hearn , Hongseok Yang A Local Shape Analysis Based on Separation Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Dan R. Ghica , Andrzej S. Murawski Compositional Model Extraction for Higher-Order Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Leue , Wei Wei A Region Graph Based Approach to Termination Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Sagar Chaki , Edmund M. Clarke , Nicholas Kidd , Thomas W. Reps , Tayssir Touili Verifying Concurrent Message-Passing C Programs with Recursive Calls. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Habermehl , Radu Iosif , Tomás Vojnar Automata-Based Verification of Programs with Tree Updates. [Citation Graph (0, 0)][DBLP ] Conf ] Atul Gupta , Pankaj Jalote An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Groce , Rajeev Joshi Exploiting Traces in Program Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Koushik Sen , Mahesh Viswanathan , Gul Agha Model-Checking Markov Chains in the Presence of Uncertainties. [Citation Graph (0, 0)][DBLP ] Conf ] Joël Ouaknine , James Worrell Safety Metric Temporal Logic Is Fully Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Oleg Sokolsky , Sampath Kannan , Insup Lee Simulation-Based Graph Similarity. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Hinton , Marta Z. Kwiatkowska , Gethin Norman , David Parker PRISM: A Tool for Automatic Verification of Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Garavel , Radu Mateescu , Damien Bergamini , Adrian Curic , Nicolas Descoubes , Christophe Joubert , Irina Smarandache-Sturm , Gilles Stragier DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Alessio Lomuscio , Franco Raimondi MCMAS: A Model Checker for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Benedikt Bollig , Carsten Kern , Markus Schlütter , Volker Stolz MSCan - A Tool for Analyzing MSC Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ranjit Jhala , Kenneth L. McMillan A Practical and Complete Approach to Predicate Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Bhargav S. Gulavani , Sriram K. Rajamani Counterexample Driven Refinement for Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Esparza , Stefan Kiefer , Stefan Schwoon Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 