Automatic Compositional Verification of Some Security Properties
Abstract elided by the publisher.
1,553 papers · page 77 of 78
PEP - More than a Petri Net Tool
Abstract elided by the publisher.
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP
Abstract elided by the publisher.
cTc - A Tool Supporting the Construction of cTLA-Specifications
Abstract elided by the publisher.
Early Fault Detection Tools
Abstract elided by the publisher.
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation
Abstract elided by the publisher.
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control
Abstract elided by the publisher.
Kleene Algebra with Tests and Commutativity Conditions
Abstract elided by the publisher.
Managing Proofs (Abstract)
Abstract elided by the publisher.
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
Abstract elided by the publisher.
Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits
Abstract elided by the publisher.
Permutable Agents in Process Algebras
Abstract elided by the publisher.
Probabilistic Duration Automata for Analyzing Real-Time Systems
Abstract elided by the publisher.
Reactive EFSMs - Reactive Promela/RSPIN
Abstract elided by the publisher.
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract)
Abstract elided by the publisher.
A Tool for Proving Invariance Properties of Concurrent Systems Automatically
Abstract elided by the publisher.
A Constraint-Oriented Service Creation Environment
Abstract elided by the publisher.
Games and Modal Mu-Calculus
Abstract elided by the publisher.
Test Generation with Inputs, Outputs, and Quiescence
Abstract elided by the publisher.
Extending Promela and Spin for Real Time
Abstract elided by the publisher.