Amanote Research
Register
Sign In
Model Checking Implicit-Invocation Systems
doi 10.1109/iwssd.2000.891123
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
D. Garlan
S. Khersonsky
Publisher
IEEE Comput. Soc
Related search
A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems
Implicit Invocation Meets Safe, Implicit Concurrency
Formalizing Design Spaces: Implicit Invocation Mechanisms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Configuration-Level Programming of Distributed Applications Using Implicit Invocation
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Model Checking of Systems With Degradation
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
