Leveraging Applications of Formal Methods, Verification and Validation View on Open Library

Leveraging Applications of Formal Methods, Verification and Validation

by Tiziana Margaria , Bernhard Steffen

No reviews yet
First published: 2008 1 language ISBN: 9783642340314
Subjects
Computer software, verification Computer software, validation System design

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Tiziana Margaria

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical S...

Semantic Web Services Challenge

Semantic Web Services Challenge

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Leveraging Applications of Formal Method...

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Method...

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles

Leveraging Applications of Formal Method...

You Might Also Like

More in Computer software, v...
Reachability Problems

Reachability Problems

Parosh Aziz Abdulla
Software Testing

Software Testing

Brian Hambling
The Art Of Application Performance Testing

The Art Of Application Performance Testi...

Ian Molyneaux
Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits usi...

Michael Yoeli
Modeling in event-b

Modeling in event-b

Jean-Raymond Abrial
Data flow analysis

Data flow analysis

Uday Khedker