Conferences in DBLP
Byron Cook Automatically Proving Program Termination. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:1- [Conf ] David M. Russinoff A Mathematical Approach to RTL Verification. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:2- [Conf ] Thomas Kropf Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:3- [Conf ] Dirk Beyer , Thomas A. Henzinger , Vasu Singh Algorithms for Interface Synthesis. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:4-19 [Conf ] Leonardo Mendonça de Moura , Bruno Dutertre , Natarajan Shankar A Tutorial on Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:20-36 [Conf ] Gary T. Leavens , Joseph R. Kiniry , Erik Poll A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:37- [Conf ] Martin Fränzle Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:38- [Conf ] Nishant Sinha , Edmund M. Clarke SAT-Based Compositional Verification Using Lazy Learning. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:39-54 [Conf ] Ariel Cohen , Kedar S. Namjoshi Local Proofs for Global Safety Properties. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:55-67 [Conf ] Denis Gopan , Thomas W. Reps Low-Level Library Analysis and Summarization. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:68-81 [Conf ] Sagar Chaki , Christian Schallhart , Helmut Veith Verification Across Intellectual Property Boundaries. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:82-94 [Conf ] Oded Maler , Dejan Nickovic , Amir Pnueli On Synthesizing Controllers from Bounded-Response Properties. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:95-107 [Conf ] Luca de Alfaro , Marco Faella An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:108-120 [Conf ] Gerd Behrmann , Agnès Cougnard , Alexandre David , Emmanuel Fleury , Kim Guldstrand Larsen , Didier Lime UPPAAL-Tiga: Time for Playing Games! [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:121-125 [Conf ] Martin Ouimet , Kristina Lundqvist The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:126-130 [Conf ] Bengt Jonsson , Mayank Saksena Systematic Acceleration in Regular Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:131-144 [Conf ] Parosh Aziz Abdulla , Giorgio Delzanno , Ahmed Rezine Parameterized Verification of Infinite-State Processes with Global Conditions. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:145-157 [Conf ] Hubert Garavel , Radu Mateescu , Frédéric Lang , Wendelin Serwe CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:158-163 [Conf ] Dejvuth Suwimonteerabuth , Felix Berger , Stefan Schwoon , Javier Esparza jMoped: A Test Environment for Java Programs. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:164-167 [Conf ] Nathaniel Charlton , Michael Huth Hector: Software Model Checking with Cooperating Analysis Plugins. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:168-172 [Conf ] Jean-Christophe Filliâtre , Claude Marché The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:173-177 [Conf ] Josh Berdine , Cristiano Calcagno , Byron Cook , Dino Distefano , Peter W. O'Hearn , Thomas Wies , Hongseok Yang Shape Analysis for Composite Data Structures. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:178-192 [Conf ] Ranjit Jhala , Kenneth L. McMillan Array Abstractions from Proofs. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:193-206 [Conf ] Ahmed Bouajjani , Séverine Fratani , Shaz Qadeer Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:207-220 [Conf ] Igor Bogudlov , Tal Lev-Ami , Thomas W. Reps , Mooly Sagiv Revamping TVLA: Making Parametric Shape Analysis Competitive. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:221-225 [Conf ] Vineet Kahlon , Yu Yang , Sriram Sankaranarayanan , Aarti Gupta Fast and Accurate Static Data-Race Detection for Concurrent Programs. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:226-239 [Conf ] Feng Chen , Grigore Rosu Parametric and Sliced Causality. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:240-253 [Conf ] Gaël Patin , Mihaela Sighireanu , Tayssir Touili Spade: Verification of Multithreaded Dynamic and Recursive Programs. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:254-257 [Conf ] Barbara Jobstmann , Stefan Galler , Martin Weiglhofer , Roderick Bloem Anzu: A Tool for Property Synthesis. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:258-262 [Conf ] Roderick Bloem , Roberto Cavada , Ingo Pill , Marco Roveri , Andrei Tchaltsev RAT: A Tool for the Formal Analysis of Requirements. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:263-267 [Conf ] Jonathan Ezekiel , Gerald Lüttgen , Gianfranco Ciardo Parallelising Symbolic State-Space Generators. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:268-280 [Conf ] Jiri Barnat , Lubos Brim , Pavel Simecek I/O Efficient Accepting Cycle Detection. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:281-293 [Conf ] Robert Brummayer , Armin Biere C32SAT: Checking C Expressions. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:294-297 [Conf ] Clark Barrett , Cesare Tinelli CVC3. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:298-302 [Conf ] Panagiotis Manolios , Sudarshan K. Srinivasan , Daron Vroon BAT: The Bit-Level Analysis Tool. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:303-306 [Conf ] Bernd Becker , Christian Dax , Jochen Eisinger , Felix Klaedtke LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:307-310 [Conf ] Joost-Pieter Katoen , Daniel Klink , Martin Leucker , Verena Wolf Three-Valued Abstraction for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:311-324 [Conf ] Luca de Alfaro , Pritam Roy Magnifying-Lens Abstraction for Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:325-338 [Conf ] Arie Matsliah , Ofer Strichman Underapproximation for Model-Checking Based on Random Cryptographic Constructions. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:339-351 [Conf ] Chao Wang , Zijiang Yang , Aarti Gupta , Franjo Ivancic Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:352-365 [Conf ] Domagoj Babic , Alan J. Hu Structural Abstraction of Software Verification Conditions. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:366-378 [Conf ] Sumit Gulwani , Ashish Tiwari An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:379-392 [Conf ] Thomas Wahl Adaptive Symmetry Reduction. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:393-405 [Conf ] Orna Kupferman , Nir Piterman , Moshe Y. Vardi From Liveness to Promptness. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:406-419 [Conf ] Anubhav Gupta , Kenneth L. McMillan , Zhaohui Fu Automated Assumption Generation for Compositional Verification. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:420-432 [Conf ] Marc Segelken Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:433-448 [Conf ] Tarik Nahhal , Thao Dang Test Coverage for Continuous and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:449-462 [Conf ] Erion Plaku , Lydia E. Kavraki , Moshe Y. Vardi Hybrid Systems: From Verification to Falsification. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:463-476 [Conf ] Daphna Amit , Noam Rinetzky , Thomas W. Reps , Mooly Sagiv , Eran Yahav Comparison Under Abstraction for Verifying Linearizability. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:477-490 [Conf ] Thomas Ball , Orna Kupferman , Mooly Sagiv Leaping Loops in the Presence of Abstraction. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:491-503 [Conf ] Dirk Beyer , Thomas A. Henzinger , Grégory Théoduloz Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:504-518 [Conf ] Vijay Ganesh , David L. Dill A Decision Procedure for Bit-Vectors and Arrays. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:519-531 [Conf ] Alessandro Cimatti , Marco Roveri , Viktor Schuppan , Stefano Tonetta Boolean Abstraction for Temporal Logic Satisfiability. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:532-546 [Conf ] Roberto Bruttomesso , Alessandro Cimatti , Anders Franzén , Alberto Griggio , Ziyad Hanna , Alexander Nadel , Amit Palti , Roberto Sebastiani A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:547-560 [Conf ]