A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
Abstract elided by the publisher.
1,553 papers · page 71 of 78
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation
Abstract elided by the publisher.
Checking for CFFD-Preorder with Tester Processes
Abstract elided by the publisher.
Symbolic Model Checking for Rectangular Hybrid Systems
Abstract elided by the publisher.
Fair Bisimulation
Abstract elided by the publisher.
A Markov Chain Model Checker
Abstract elided by the publisher.
Transitive Closures of Regular Relations for Verifying Infinite-State Systems
Abstract elided by the publisher.
VIP: A Visual Editor and Compiler for v-Promela
Abstract elided by the publisher.
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems
Abstract elided by the publisher.
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
A major problem in model-checking timed systems is the huge memory requirement. In this paper, we study the memory-block traversal problems of using standard operating systems in exploring the state-space of timed automata. We report a case study which demonstrates that deallocat…
Efficient Diagnostic Generation for Boolean Equation Systems
Abstract elided by the publisher.
An Architecture for Interactive Program Provers
Abstract elided by the publisher.
CASL: From Semantics to Tools
Abstract elided by the publisher.
Tool-Based Specification of Visual Languages and Graphic Editors
Abstract elided by the publisher.
Verification of Parameterized Systems Using Logic Program Transformations
Abstract elided by the publisher.
Integrating Low Level Symmetries into Reachability Analysis
Abstract elided by the publisher.
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
Abstract elided by the publisher.
On the Construction of Automata from Linear Arithmetic Constraints
Abstract elided by the publisher.
An Extensible Type System for Component-Based Design
Abstract elided by the publisher.
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
Abstract elided by the publisher.