On Automatic and Interactive Design of Communication Systems
Abstract elided by the publisher.
1,553 papers · page 78 of 78
A Front-End Generator for Verification Tools
Abstract elided by the publisher.
Efficient Simplification of Bisimulation Formulas
Abstract elided by the publisher.
Model Checking of Non-Finite State Processes by Finite Approximations
Abstract elided by the publisher.
Mona: Monadic Second-Order Logic in Practice
The purpose of this article is to introduce Monadic Second-order Logic as a practical means of specifying regularity. The logic is a highly succinct alternative to the use of regular expressions. We have built a tool MONA, which acts as a decision procedure and as a translator to…
A User Guide to HyTech
Abstract elided by the publisher.
Layers as Knowledge Transitions in the Design of Distributed Systems
Abstract elided by the publisher.
Parallelism for Free: Bitvector Analyses -> No State Explosion!
Abstract elided by the publisher.
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
We present a constraint-oriented state-based proof methodology for concurrent software systems which exploits compositionality and abstraction for the reduction of the verification problem under investigation. Formal basis for this methodology are Modal Transition Systems allowin…
Modal µ-Calculus, Model Checking and Gauß Elimination
Abstract elided by the publisher.
Combining Model Checking and Deduction for I/O-Automata
Abstract elided by the publisher.
Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock
Abstract elided by the publisher.
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes
Abstract elided by the publisher.