×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [state space explosion]
Documents
CHESS : Systematic Testing of Concurrent Programs Madan Musuvathi Shaz Qadeer Microsoft Research
227 views
Documents
Model Checking and Testing combined Doron Peled, University of Warwick
217 views
Documents
Automatic Verification Book: Chapter 6. How can we check the model? The model is a graph. The specification should refer the the graph representation
215 views
Documents
Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs Fei Xie and James C. Browne Dept. of Computer Sciences
215 views
Documents
Http://ecug.org Writing Better Telecom Software with Erlang Style 段先德 2008.12
215 views
Technology
Kaplan - Systems and Software - Spring Review 2013
189 views
Documents
ppt
839 views
Documents
SPAF Stateless FSA-Based Packet Filters
40 views
Documents
S CALABLY VERIFIABLE DYNAMIC POWER MANAGEMENT Opeoluwa Matthews, Meng Zhang, and Daniel J. Sorin 20th International Symposium on High Performance Computer
217 views
Documents
1 Formal Methods in SE Qaisar Javaid Assistant Professor Lecture # 11
226 views
Documents
Model Checking Large-Scale Software Natasha Sharygina Carnegie Mellon University Software Engineering Institute
216 views
Documents
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction based on STG Unfoldings V. Khomenko, A. Madalinski and A. Yakovlev University
221 views
Next >