Login / Signup
A Specification-Verification Framework for Distributed Applications Software.
Donal Roantree
Maurice Clint
Published in:
Specification and Verification of Concurrent Systems (1988)
Keyphrases
</>
software architecture
probabilistic model
software development
main contribution
theoretical framework
formal methods
formal verification
high level
test cases
development process
asynchronous circuits