19 results on '"Stevens, Perdita"'
Search Results
2. Games for UML Software Design
3. Practical model-checking using games
4. Abstract games for infinite state processes
5. Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
6. Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
7. The ForSpec Temporal Logic: A New Temporal Property-Specification Language
8. Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
9. Exploring Very Large State Spaces Using Genetic Algorithms
10. Model Checking Large-Scale and Parameterized Resource Allocation Systems
11. Resource-Constrained Model Checking of Recursive Programs
12. Beyond Parameterized Verification
13. Relative Completeness of Abstraction Refinement for Software Model Checking
14. Digitisation and Full Abstraction for Dense-Time Model Checking
15. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
16. Real-Time Systems Design with PEP
17. Fate and FreeWill in Error Traces
18. Temporal Debugging for Concurrent Systems
19. Software Construction and Analysis Tools for Future Space Missions
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.