×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [processlevel strong]
Process Analysis Toolkit PAT is A SPIN-like self-contained environment for system specification, visualized simulation and automated verification. PAT
215 views
Process Analysis Toolkit
42 views
Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore
217 views
Scalable Multi-core Model Checking Fairness Enhanced Systems
43 views