Verification and behavior abstraction towards a tractable verification technique for large distributed systems
References (35)
- et al.
Defining Liveness
Information Processing Letters
(October 1985) - et al.
An Introduction to Estelle
Computer Networks and ISDN-Systems
(1987) Studienbücher Informatik
- et al.
Product Nets—a Formal Description Technique for Co-operating Systems
A practical technique for process abstraction, in Best
On a decision method in restricted second order arithmetic
- et al.
Design and synthesis of synchronization skeletons using branching-time temporal logic, in Logic of programs 1981
- et al.
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems
(1986) - et al.
Formal verification of telecommunication service interactions using SDL methods and tools
Temporal and modal logic
Property preserving abstractions under parallel composition
A Partial Approach to Model Checking
Using partial orders for the efficient verification of deadlock freedom and safety properties
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
Formal Methods in System Design
(April 1993)
Cited by (3)
Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks
1998, Journal of Systems and SoftwareApproximately satisfied properties of systems and simple language homomorphisms
1996, Information Processing LettersInterpretation of the full computation tree logic CTL* on sets of infinite sequences
1997, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- ∗
Supported by a DAAD-fellowship HSP II/AUFE. Parts of this article were finished when the author was visiting the University of Liège, Belgium.
Copyright © 1996 Published by Elsevier Inc.