Model Checking Software

Description

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Model Checking Software" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1561
2. [request_ebook] Systems and software verification model checking techniques and tools
3. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
4. Principles of Model Checking
5. Principles of Model Checking
6. Principles of Model Checking
7. Principles of Model Checking (Repost)
8. Verification, Model Checking, and Abstract Interpretation
9. Abstraction Refinement for Large Scale Model Checking
10. Abstraction Refinement for Large Scale Model Checking
11. 25 Years of Model Checking: History, Achievements, Perspectives
12. Abstraction Refinement for Large Scale Model Checking
13. Unfoldings: A Partial-Order Approach to Model Checking
14. Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
15. Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
16. Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data