×
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
229 views
Documents
Model Checking and Testing combined Doron Peled, University of Warwick
221 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
221 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
216 views
Documents
Http://ecug.org Writing Better Telecom Software with Erlang Style 段先德 2008.12
218 views
Technology
Kaplan - Systems and Software - Spring Review 2013
189 views
Documents
ppt
839 views
Documents
SPAF Stateless FSA-Based Packet Filters
46 views
Documents
S CALABLY VERIFIABLE DYNAMIC POWER MANAGEMENT Opeoluwa Matthews, Meng Zhang, and Daniel J. Sorin 20th International Symposium on High Performance Computer
220 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
230 views
Next >