On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus (2003)

Cached

Download Links

by Christoph Sprenger , Mads Dam
Venue:IN PROCEEDINGS OF FOSSACS 2003
Citations:18 - 2 self

Active Bibliography

8 A Note on Global Induction Mechanisms in a µ-Calculus with Explicit Approximations – Christoph Sprenger, Mads Dam - 1999
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
11 Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS – Alex Simpson - 2003
3 A Tool for Verifying Software Written in Erlang – Thomas Arts, Gennady Chugunov, Mads Dam, Lars-Åke Fredlund, Dilian Gurov, Thomas Noll - 2000
2 Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes – Ulrich Schöpp, Alex Simpson - 2002
18 Verifying a Distributed Database Lookup Manager Written in Erlang – Thomas Arts, Mads Dam - 1999
13 Cyclic proofs for first-order logic with inductive definitions – James Brotherston - 2005
1 Symbolic Model Checking of Non-Regular Properties – Martin Lange - 2004
2 On the Equational Definition of the Least Prefixed Point – Luigi Santocanale, Luigi Santocanale - 2003
1 Compositional Specification and Verification of Control Flow Based Security Properties of Multi-Application Programs – Gilles Barthe, Dilian Gurov, Marieke Huisman - 2001
Decidability and Complexity of Model Checking . . . – Richard Mayr
8 Compositional Verification of CCS Processes – Mads Dam, Dilian Gurov - 1999
12 Compositional Verification of Secure Applet Interactions – Gilles Barthe, Dilian Gurov, Marieke Huisman - 2002
8 Global model-checking of infinite-state systems – Nir Piterman, Moshe Y. Vardi - 2004
11 Strict Lower Bounds for Model Checking BPA – Richard Mayr - 1998
52 On Model-Checking for Fragments of µ-Calculus – E.A. Emerson, A. P. Sistla - 1995
5 Semi-Automated Verification of Erlang Code – Lars-Åke Fredlund, Lars- Ake, Dilian Gurov, Thomas Noll - 2001
2 Formal Verification of Processes – Ulrich Schöpp - 2001
2 Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem – Martin Dickhöfer, Thomas Wilke - 1999