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