Systems and Software Verification: Model-Checking Techniques and Tools

...
Author:  B. Berard |  M. Bidoit |  A. Finkel |  F. Laroussinie |  A. Petit |  L. Petrucci |  P. Schnoebelen
47 downloads 1355 Views 2MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

B. Bérard • M. Bidoit • A. Finkel • F. Laroussinie A. Petit • L. Petrucci • Ph. Schnoebelen with P. McKenzie Systems an...
MODELLING SYSTEMS: PRACTICAL TOOLS AND TECHNIQUES IN SOFTWARE DEVELOPMENT Second Edition How can we make sure that the...
Advanced Information and Knowledge Processing Series Editors Professor Lakhmi Jain [email protected] Professor X...
Advances in Experimental Medicine and Biology Volume 696 Editorial Board: NATHAN BACK, State University of New York at...
Biometric Technologies and Verification Systems This page intentionally left blank Biometric Technologies and Verif...
Software and Systems Traceability Jane Cleland-Huang · Orlena Gotel · Andrea Zisman Editors Software and Systems Tra...
i Verification, Validation and Testing in Software Engineering Aristides Dasso, Universidad Nacional de San Luis, Arge...
Series Editor: Francis Arko UMT President: Yanping Chen, PhD, PMP UMT Academic Dean: J. Davidson Frame, PhD, PMP O 2003...
...