×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [state space explosion]
CHESS : Systematic Testing of Concurrent Programs Madan Musuvathi Shaz Qadeer Microsoft Research
229 views
Model Checking and Testing combined Doron Peled, University of Warwick
221 views
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
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
Http://ecug.org Writing Better Telecom Software with Erlang Style 段先德 2008.12
218 views
Kaplan - Systems and Software - Spring Review 2013
189 views
ppt
839 views
SPAF Stateless FSA-Based Packet Filters
46 views
S CALABLY VERIFIABLE DYNAMIC POWER MANAGEMENT Opeoluwa Matthews, Meng Zhang, and Daniel J. Sorin 20th International Symposium on High Performance Computer
220 views
1 Formal Methods in SE Qaisar Javaid Assistant Professor Lecture # 11
226 views
Model Checking Large-Scale Software Natasha Sharygina Carnegie Mellon University Software Engineering Institute
216 views
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 >