Conferences in DBLP
Byron Cook Automatically Proving Program Termination. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Russinoff A Mathematical Approach to RTL Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Kropf Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Beyer , Thomas A. Henzinger , Vasu Singh Algorithms for Interface Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Mendonça de Moura , Bruno Dutertre , Natarajan Shankar A Tutorial on Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Martin Fränzle Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nishant Sinha , Edmund M. Clarke SAT-Based Compositional Verification Using Lazy Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Ariel Cohen , Kedar S. Namjoshi Local Proofs for Global Safety Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Gopan , Thomas W. Reps Low-Level Library Analysis and Summarization. [Citation Graph (0, 0)][DBLP ] Conf ] Sagar Chaki , Christian Schallhart , Helmut Veith Verification Across Intellectual Property Boundaries. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Maler , Dejan Nickovic , Amir Pnueli On Synthesizing Controllers from Bounded-Response Properties. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] Conf ] Martin Ouimet , Kristina Lundqvist The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Mayank Saksena Systematic Acceleration in Regular Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Giorgio Delzanno , Ahmed Rezine Parameterized Verification of Infinite-State Processes with Global Conditions. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Dejvuth Suwimonteerabuth , Felix Berger , Stefan Schwoon , Javier Esparza jMoped: A Test Environment for Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nathaniel Charlton , Michael Huth Hector: Software Model Checking with Cooperating Analysis Plugins. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Christophe Filliâtre , Claude Marché The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Ranjit Jhala , Kenneth L. McMillan Array Abstractions from Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Séverine Fratani , Shaz Qadeer Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Bogudlov , Tal Lev-Ami , Thomas W. Reps , Mooly Sagiv Revamping TVLA: Making Parametric Shape Analysis Competitive. [Citation Graph (0, 0)][DBLP ] Conf ] Vineet Kahlon , Yu Yang , Sriram Sankaranarayanan , Aarti Gupta Fast and Accurate Static Data-Race Detection for Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Feng Chen , Grigore Rosu Parametric and Sliced Causality. [Citation Graph (0, 0)][DBLP ] Conf ] Gaël Patin , Mihaela Sighireanu , Tayssir Touili Spade: Verification of Multithreaded Dynamic and Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Jobstmann , Stefan Galler , Martin Weiglhofer , Roderick Bloem Anzu: A Tool for Property Synthesis. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Jonathan Ezekiel , Gerald Lüttgen , Gianfranco Ciardo Parallelising Symbolic State-Space Generators. [Citation Graph (0, 0)][DBLP ] Conf ] Jiri Barnat , Lubos Brim , Pavel Simecek I/O Efficient Accepting Cycle Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Brummayer , Armin Biere C32SAT: Checking C Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Clark Barrett , Cesare Tinelli CVC3. [Citation Graph (0, 0)][DBLP ] Conf ] Panagiotis Manolios , Sudarshan K. Srinivasan , Daron Vroon BAT: The Bit-Level Analysis Tool. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Joost-Pieter Katoen , Daniel Klink , Martin Leucker , Verena Wolf Three-Valued Abstraction for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Pritam Roy Magnifying-Lens Abstraction for Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Arie Matsliah , Ofer Strichman Underapproximation for Model-Checking Based on Random Cryptographic Constructions. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Domagoj Babic , Alan J. Hu Structural Abstraction of Software Verification Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Sumit Gulwani , Ashish Tiwari An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wahl Adaptive Symmetry Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Nir Piterman , Moshe Y. Vardi From Liveness to Promptness. [Citation Graph (0, 0)][DBLP ] Conf ] Anubhav Gupta , Kenneth L. McMillan , Zhaohui Fu Automated Assumption Generation for Compositional Verification. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Tarik Nahhal , Thao Dang Test Coverage for Continuous and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Erion Plaku , Lydia E. Kavraki , Moshe Y. Vardi Hybrid Systems: From Verification to Falsification. [Citation Graph (0, 0)][DBLP ] Conf ] Daphna Amit , Noam Rinetzky , Thomas W. Reps , Mooly Sagiv , Eran Yahav Comparison Under Abstraction for Verifying Linearizability. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Orna Kupferman , Mooly Sagiv Leaping Loops in the Presence of Abstraction. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Vijay Ganesh , David L. Dill A Decision Procedure for Bit-Vectors and Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Cimatti , Marco Roveri , Viktor Schuppan , Stefano Tonetta Boolean Abstraction for Temporal Logic Satisfiability. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] 