×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [state explosion]
Documents
Super State Analysis for UML State Diagrams
122 views
Documents
1 Minimalist proof assistants Interactions of technology and methodology in formal system level verification Ken McMillan Cadence Berkeley Labs
219 views
Documents
Zing: A Systematic State Explorer for Concurrent Software Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research
228 views
Documents
The Birth of Model Checking Edmund M. Clarke Department of Computer Science Carnegie Mellon University
216 views
Documents
Software Model Checking with SMT Ken McMillan Microsoft Research TexPoint fonts used in EMF: A A A A A
215 views
Documents
Model Based Testing for WS
362 views
Technology
SDX: A Software-Defined Internet Exchange
153 views
Documents
async00_tut4.ppt
228 views
Documents
Some Improvements for More Precise Model Checking Zhi Zhang State Key Laboratory for Novel Software Technology Nanjing University, China
219 views
Documents
Shin Hong, KAIST17 th April,2007 1/33 Provable Software Laboratory, CS KAIST
213 views
Documents
Research Heaven, West Virginia 1 Static Analysis of Software for Autonomous Spacecrafts Supratik Mukhopadhyay
[email protected]
Research Heaven, West
219 views
Documents
Sweep-line Analysis of DCCP Connection Management Somsak Vanit-Anunchai Jonathan Billington Guy Edward Gallasch 25 th October 2006
217 views
Next >