Conferences in DBLP
John O'Leary , Marly Roncken Rob Tristan Gerth: 1956?2003. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Reps , Shmuel Sagiv , Reinhard Wilhelm Static Program Analysis via 3-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sandip Ray , Warren A. Hunt Jr. Deductive Verification of Pipelined Machines Using First-Order Quantification. [Citation Graph (0, 0)][DBLP ] Conf ] Hui Gao , Wim H. Hesselink A Formal Reduction for Lock-Free Parallel Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Kedar S. Namjoshi An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Tiwari Termination of Linear Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Lange Symbolic Model Checking of Non-regular Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Awedh , Fabio Somenzi Proving More Properties with Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Schröter , Victor Khomenko Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob Chang , Sergey Berezin , David L. Dill Using Interface Refinement to Integrate Formal Verification into the Design Cycle. [Citation Graph (0, 0)][DBLP ] Conf ] Shuvendu K. Lahiri , Randal E. Bryant Indexed Predicate Discovery for Unbounded System Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Muralidhar Talupur , Nishant Sinha , Ofer Strichman , Amir Pnueli Range Allocation for Separation Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Mendonça de Moura , Harald Rueß An Experimental Evaluation of Ground Decision Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger , George Hagen , Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli DPLL( T): Fast Decision Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Doron Bustan , Sasha Rubin , Moshe Y. Vardi Verifying omega-Regular Properties of Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Koushik Sen , Mahesh Viswanathan , Gul Agha Statistical Model Checking of Black-Box Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Yang , Carl-Johan H. Seger Compositional Specification and Model Checking in GSTE. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Sebastiani , Eli Singerman , Stefano Tonetta , Moshe Y. Vardi GSTE Is Partitioned Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Cédric Fournet , C. A. R. Hoare , Sriram K. Rajamani , Jakob Rehof Stuck-Free Conformance. [Citation Graph (0, 0)][DBLP ] Conf ] Amit Goel , Randal E. Bryant Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. [Citation Graph (0, 0)][DBLP ] Conf ] Jie-Hong Roland Jiang , Robert K. Brayton Functional Dependency for Verification Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Immerman , Alexander Moshe Rabinovich , Thomas W. Reps , Shmuel Sagiv , Greta Yorsh Verification via Structure Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Kroening , Joël Ouaknine , Sanjit A. Seshia , Ofer Strichman Abstraction-Based Satisfiability Solving of Presburger Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Constantinos Bartzis , Tevfik Bultan Widening Arithmetic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Metzner Why Model Checking Can Improve WCET Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Bengt Jonsson , Marcus Nilsson , Julien d'Orso , Mayank Saksena Regular Model Checking for LTL(MSO). [Citation Graph (0, 0)][DBLP ] Conf ] Alain Finkel , Jérôme Leroux Image Computation in Infinite State Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Peter Habermehl , Tomás Vojnar Abstract Regular Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Nir Piterman , Moshe Y. Vardi Global Model-Checking of Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ganesh Gopalakrishnan , Yue Yang , Hemanthkumar Sivaraj QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Tamarah Arons Verification of an Advanced mips-Type Out-of-Order Execution Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Jesse D. Bingham , Anne Condon , Alan J. Hu , Shaz Qadeer , Zhichuan Zhang Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. [Citation Graph (0, 0)][DBLP ] Conf ] Malay K. Ganai , Aarti Gupta , Pranav Ashar Efficient Modeling of Embedded Memories in Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Groce , Daniel Kroening , Flavio Lerda Understanding Counterexamples with explain. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Byron Cook , Shuvendu K. Lahiri , Lintao Zhang Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Artho , Viktor Schuppan , Armin Biere , Pascal Eugster , Marcel Baur , Boris Zweimüller JNuke: Efficient Dynamic Analysis for Java. [Citation Graph (0, 0)][DBLP ] Conf ] Paula J. Pingree , Erich Mikk The HiVy Tool Set. [Citation Graph (0, 0)][DBLP ] Conf ] Víctor A. Braberman , Diego Garbervetsky , Alfredo Olivero ObsSlice: A Timed Automata Slicer Based on Observers. [Citation Graph (0, 0)][DBLP ] Conf ] Shuvendu K. Lahiri , Sanjit A. Seshia The UCLID Decision Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gammie , Ron van der Meyden MCK: Model Checking the Logic of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Andrews , Shaz Qadeer , Sriram K. Rajamani , Jakob Rehof , Yichen Xie Zing: A Model Checker for Concurrent Software. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Griffault , Aymeric Vincent The Mec 5 Model-Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Li Tan PlayGame: A Platform for Diagnostic Games. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Mendonça de Moura , Sam Owre , Harald Rueß , John M. Rushby , Natarajan Shankar , Maria Sorea , Ashish Tiwari SAL 2. [Citation Graph (0, 0)][DBLP ] Conf ] Azadeh Farzan , Feng Chen , José Meseguer , Grigore Rosu Formal Analysis of Java Programs in JavaFAN. [Citation Graph (0, 0)][DBLP ] Conf ] S. Ramesh , Sampada Sonalkar , Vijay D'Silva , Naveen Chandra , B. Vijayalakshmi A Toolset for Modelling and Verification of GALS Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su WSAT: A Tool for Formal Analysis of Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Clark W. Barrett , Sergey Berezin CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. [Citation Graph (0, 0)][DBLP ] Conf ] HoonSang Jin , Mohammad Awedh , Fabio Somenzi CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Warren A. Hunt Jr. Mechanical Mathematical Methods for Microprocessor Verification. [Citation Graph (0, 0)][DBLP ] Conf ] 