Amanote Research
Register
Sign In
Property Specification Patterns for Finite-State Verification
doi 10.1145/298595.298598
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1998
Authors
Matthew B. Dwyer
George S. Avrunin
James C. Corbett
Publisher
ACM Press
Related search
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of User-Level Real-Time Property Patterns
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification
Biometric Data Specification for Personal Identity Verification
Design Verification and Functional Testing of Finite State Machines
Constructing Property-Oriented Models for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Diffeomorphisms Satisfying the Specification Property
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
