Conferences in DBLP
Moshe Y. Vardi Branching vs. Linear Time: Final Showdown. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Fourman Propositional Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Finkbeiner Language Containment Checking with Nondeterministic BDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Poul Frederick Williams , Henrik Reif Andersen , Henrik Hulgaard Satisfiability Checking Using Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Tuba Yavuz-Kahveci , Murat Tuncer , Tevfik Bultan A Library for Composite Symbolic Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Colón , Henny Sipma Synthesis of Linear Ranking Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli , Sitvanit Ruah , Lenore D. Zuck Automatic Deductive Verification with Invisible Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Yassine Lakhnech , Saddek Bensalem , Sergey Berezin , Sam Owre Incremental Verification by Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Tiwari , Harald Rueß , Hassen Saïdi , Natarajan Shankar A Technique for Invariant Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Sebastiani , Alessandro Tomasi , Fausto Giunchiglia Model Checking Syllabi and Student Carreers. [Citation Graph (0, 0)][DBLP ] Conf ] Xiang Fu , Tevfik Bultan , Richard Hull , Jianwen Su Verification of Vortex Workflows. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Sagar Chaki , Sriram K. Rajamani Parameterized Verification of Multithreaded Software Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Behrmann , Ansgar Fehnker Efficient Guiding Towards Cost-Optimality in UPPAAL. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hune , Judi Romijn , Mariëlle Stoelinga , Frits W. Vaandrager Linear Parametric Model Checking of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Suzana Andova , Jos C. M. Baeten Abstraction in Probabilistic Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Theo C. Ruys , Rom Langerak , Joost-Pieter Katoen , Diego Latella , Mieke Massink First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Mycroft , Richard Sharp Hardware/Software Co-Design Using Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav N. Velev Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Andreas Podelski , Sriram K. Rajamani Boolean and Cartesian Abstraction for Model Checking C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Corina S. Pasareanu , Matthew B. Dwyer , Willem Visser Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim van den Berg , Bart Jacobs The LOOP Compiler for Java and JML. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Cimatti , Marco Roveri , Piergiorgio Bertoli Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Ciardo , Gerald Lüttgen , Radu Siminiceanu Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Nielsen , Arne Skou Automated Test Generation from Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Sarfraz Khurshid Testing an Intentional Naming Scheme Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Filippo Ricca , Paolo Tonella Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Amie L. Souter , Tiffany M. Wong , Stacey A. Shindo , Lori L. Pollock TATOO: Testing and Analysis Tool for Object- Oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] Marsha Chechik , Benet Devereux , Steve M. Easterbrook Implementing a Multi-valued Symbolic Model Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Kathi Fisler , Ranan Fraer , Gila Kamhi , Moshe Y. Vardi , Zijiang Yang Is There a Best Symbolic Cycle-Detection Algorithm? [Citation Graph (0, 0)][DBLP ] Conf ] Rubén Carvajal-Schiaffino , Giorgio Delzanno , Giovanni Chiola Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Søren Christensen , Lars Michael Kristensen , Thomas Mailund A Sweep-Line Method for State Space Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Nina Amla , E. Allen Emerson , Kedar S. Namjoshi , Richard J. Trefler Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Li Tan , Rance Cleaveland Simulation Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Elsa L. Gunter , Anca Muscholl , Doron Peled Compositional Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Klose , Hartmut Wittke An Automata Based Interpretation of Live Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Hana Chockler , Orna Kupferman , Moshe Y. Vardi Coverage Metrics for Temporal Logic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Benedikt Bollig , Martin Leucker , Michael Weber 0002 Parallel Model Checking for the Alternation Free µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Paritosh K. Pandya Model Checking CTL*[DC]. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Beaudouin-Lafon , Wendy E. Mackay , Mads Jensen , Peter Andersen , Paul Janecek , Henry Michael Lassen , Kasper Lund , Kjeld Høyer Mortensen , Stephanie Munck , Anne V. Ratzer , Katrine Ravn , Søren Christensen , Kurt Jensen CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Del Castillo The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Noll , Lars-Åke Fredlund , Dilian Gurov The Erlang Verification Tool. [Citation Graph (0, 0)][DBLP ] Conf ] 