×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [abstraction techniques]
Partially Disjunctive Shape Analysis Josh Berdine Byron Cook MSR Cambridge Tal Lev-Ami Roman Manevich Mooly Sagiv Ran Shaham Tel Aviv University Ganesan
213 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
Software Effort Measurement Using Abstraction Techniques
607 views
C++ programing lanuage
110 views
Linking the prospective and retrospective provenance of scripts
99 views
1 Formal Methods in SE Qaisar Javaid Assistant Professor Lecture # 11
226 views
S. Kafetzoglou, C. Papagianni
[email protected]
Network Management & Optimal Design Laboratory National Technical University of Athens Mobile Crowdsensing,
219 views
Inference Web: Portable and Sharable Proofs for Hybrid Systems Deborah L. McGuinness, Paulo Pinheiro da Silva and Bill MacCartney with Richard Fikes, Gleb
216 views
Model Checking for Embedded Systems
75 views
Typestate Verification: Abstraction Techniques and Complexity Results
35 views
Messaging, MOMs and Group Communication
35 views
Next >