Conferences in DBLP
David Wagner Pushdown Model Checking for Security. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Cadar , Dawson R. Engler Execution Generated Test Cases: How to Make Systems Code Crash Itself. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann , Theo C. Ruys Effective Bug Hunting with Spin and Modex. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar The BLAST Software Verification System. [Citation Graph (0, 0)][DBLP ] Conf ] Willem Visser , Peter C. Mehlitz Model Checking Programs with Java PathFinder. [Citation Graph (0, 0)][DBLP ] Conf ] Madanlal Musuvathi , David L. Dill An Incremental Heap Canonicalization Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Sami Evangelista , Jean-François Pradat-Peyre Memory Efficient State Space Storage in Explicit Software Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Leue , Wei Wei Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Byron Cook , Daniel Kroening , Natasha Sharygina Symbolic Model Checking for Asynchronous Boolean Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dragan Bosnacki , Gerard J. Holzmann Improving Spin's Partial-Order Reduction for Breadth-First Search. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Levin , Robert Palmer , Shaz Qadeer , Sriram K. Rajamani Sound Transaction-Based Reduction Without Cycle Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Sarfraz Khurshid , Iván García , Yuk Lai Suen Repairing Structurally Complex Data. [Citation Graph (0, 0)][DBLP ] Conf ] Yung-Pin Cheng Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Barros , Ludovic Henrio , Eric Madelaine Behavioural Models for Hierarchical Components. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Couvreur , Alexandre Duret-Lutz , Denis Poitrenaud On-the-Fly Emptiness Checks for Generalized Büchi Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Bas Luttik , Nikola Trcka Stuttering Congruence for chi . [Citation Graph (0, 0)][DBLP ] Conf ] Salamah Salamah , Ann Q. Gates , Steve Roach , Oscar Mondragon Verifying Pattern-Generated LTL Formulas: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Abdul Sahid Khan , Madhavan Mukund , S. P. Suresh Generic Verification of Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Gerrit Rothmaier , Tobias Kneiphoff , Heiko Krumm Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Mercer , Michael Jones Model Checking Machine Code with the GNU Debugger. [Citation Graph (0, 0)][DBLP ] Conf ] Alastair F. Donaldson , Simon J. Gay Etch: An Enhanced Type Checking Tool for Promela. [Citation Graph (0, 0)][DBLP ] Conf ] Peter C. Dillinger , Panagiotis Manolios Enhanced Probabilistic Verification with 3Spin and 3Murphi. [Citation Graph (0, 0)][DBLP ] Conf ] Anil Madhavapeddy , David Scott , Richard Sharp SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitra Giannakopoulou , Corina S. Pasareanu Learning-Based Assume-Guarantee Verification (Tool Paper). [Citation Graph (0, 0)][DBLP ] Conf ] 