Conferences in DBLP
Gerard J. Holzmann Early Fault Detection Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen Kleene Algebra withTests and Commutativity Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Lamport Managing Proofs (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Gerard J. Holzmann , Doron Peled An Analyser for Mesage Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer , Burghard von Karger , Christiane Ulke Realtion-Algebraic Analysis of Petri Nets with RELVIEW. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Damon , Daniel Jackson Efficient Search as a Means of Executing Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Esparza , Stefan Römer , Walter Vogler An Improvement of McMillan's Unfolding Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Girish Bhat , Rance Cleaveland Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Tretmans Test Generation with Inputs, Outputs, and Quiescence. [Citation Graph (0, 0)][DBLP ] Conf ] Gavin Lowe Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Focardi , Roberto Gorrieri Automatic Compositional Verification of Some Security Properties. [Citation Graph (0, 0)][DBLP ] Conf ] François Michel , Pierre Azéma , François Vernadat Permutable Agents in Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Buhrke , Helmut Lescow , Jens Vöge Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kowalewski , Jörg Preußig Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Tsun Chou , Doron Peled Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana Margaria Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , Gerald Lüttgen , V. Natarajan , Steve Sims Priorities for Modeling and Verifying Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Stirling Games and Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelwaheb Ayari , David A. Basin Generic System Support for Deductive Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Stavros Tripakis , Costas Courcoubetis Extending Promela and Spin for Real Time. [Citation Graph (0, 0)][DBLP ] Conf ] Elie Najm , Frank Olsen Reactive EFSMs - Reactive Promela/RSPIN. [Citation Graph (0, 0)][DBLP ] Conf ] Louise E. Moser , P. M. Melliar-Smith Probabilistic Duration Automata for Analyzing Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , Philip M. Lewis , Scott A. Smolka , Oleg Sokolsky The Concurrency Factory Software Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Amar Bouali , Annie Ressouche , Valérie Roy , Robert de Simone The FC2TOOLS Set (Tool Demonstration). [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Grahlmann , Eike Best PEP - More than a Petri Net Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Cuéllar , Dieter Barnard , Martin Huber Rapid Prototyping for an Assertional Specification language. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Heyl , Arnulf Mester , Heiko Krumm cTc - A Tool Supporting the Construction of cTLA-Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hassen Saïdi A Tool for Proving Invariance Properties of Concurrent Systems Automatically. [Citation Graph (0, 0)][DBLP ] Conf ] Antoine Rauzy Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen , Tiziana Margaria , Andreas Claßen , Volker Braun , Rita Nisius , Manfred Reitenspieß A Constraint-Oriented Service Creation Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Marion Klein , Jens Knoop , Dirk Koschützki , Bernhard Steffen DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Hermanns , Vassilis Mertsiotakis , Michael Rettelbach A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Bengtsson , Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi UPPAAL in 1995. [Citation Graph (0, 0)][DBLP ] Conf ] 