Amanote Research
Register
Sign In
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
doi 10.1109/date.2003.1253780
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
E. Pastor
M.A. Pena
Publisher
IEEE Comput. Soc
Related search
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems
ACM Transactions on Programming Languages and Systems
Software
Graphically Defining Simulation Models of Concurrent Systems.
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Testing and Verification of the LHCb Simulation
EPJ Web of Conferences
Astronomy
Physics
Verification of Concurrent Design Patterns With Data
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Debugging for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simulation Verification and Validation
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
