Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes
Abstract elided by the publisher.
1,553 papers · page 73 of 78
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques
Abstract elided by the publisher.
Finite State Verification for the Asynchronous pi-Calculus
Abstract elided by the publisher.
An Easily Extensible Toolset for Tabular Mathematical Expressions
Abstract elided by the publisher.
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL
Abstract elided by the publisher.
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
Abstract elided by the publisher.
A Period Assignment Algorithm for Real-Time System Design
Abstract elided by the publisher.
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
Abstract elided by the publisher.
Some Issues in the Software Engineering of Verification Tools
Abstract elided by the publisher.
Timed Diagnostics for Reachability Properties
Abstract elided by the publisher.
Verifying Networks of Timed Processes (Extended Abstract)
Abstract elided by the publisher.
Model Checking via Reachability Testing for Timed Automata
In this paper we develop an approach to model-checking for timed automata via reachability testing. As our specification formalism, we consider a dense-time logic with clocks. This logic may be used to express safety and bounded liveness properties of real-time systems. We show h…
Detecting Races in Relay Ladder Logic Programs
Abstract elided by the publisher.
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond
Abstract elided by the publisher.
Symbolic Exploration of transition Hierarchies
Abstract elided by the publisher.
MESA: Support for Scenario-Based Design of Concurrent Systems
Abstract elided by the publisher.
Deciding Fixed and Non-fixed Size Bit-vectors
Abstract elided by the publisher.
Tamagotchis Need Not Die - Verification of STATEMENT Design
Abstract elided by the publisher.
Formal Verification of Pipelined Processors
Abstract elided by the publisher.
Modeling and Verification of SC++ Applications
Abstract elided by the publisher.