Conferences in DBLP
Olaf Müller , Tobias Nipkow Combining Model Checking and Deduction for I/O-Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Bernhard Steffen , Carsten Weise A Constraint Oriented Proof Methodology Based on Modal Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Pei-Hsin Ho , Howard Wong-Toi A User Guide to HyTech. [Citation Graph (0, 0)][DBLP ] Conf ] Angelika Mader Modal µ-Calculus, Model Checking and Gauß Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper G. Henriksen , Jakob L. Jensen , Michael E. Jørgensen , Nils Klarlund , Robert Paige , Theis Rauhe , Anders Sandholm Mona: Monadic Second-Order Logic in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Uffe Engberg , Kim S. Larsen Efficient Simplification of Bisimulation Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] A. W. Roscoe , Paul H. B. Gardiner , Michael Goldsmith , J. R. Hulance , D. M. Jackson , J. B. Scattergood Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , Eric Madelaine , Steve Sims A Front-End Generator for Verification Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Chris M. N. Tofts Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Nicoletta De Francesco , Alessandro Fantechi , Stefania Gnesi , Paola Inverardi Model Checking of Non-Finite State Processes by Finite Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Bohn , Stephan Rössig On Automatic and Interactive Design of Communication Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wil Janssen Layers as Knowledge Transitions in the Design of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Knoop , Bernhard Steffen , Jürgen Vollmer Parallelism for Free: Bitvector Analyses -> No State Explosion! [Citation Graph (0, 0)][DBLP ] Conf ] 