Model Checking Software View on Open Library

Model Checking Software

by Bernd Fischer , Jaco Geldenhuys

No reviews yet
First published: 2015 1 language ISBN: 9783319234045
Subjects
Computer software, verification Computer simulation

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Bernd Fischer

Cultural Transformations of the Public Sphere

Cultural Transformations of the Public S...

Inspiration Bonaparte?

Inspiration Bonaparte?

Anderer Blick

Anderer Blick

Polynomial Based Iteration Methods for Symmetric Linear Systems

Polynomial Based Iteration Methods for S...

A Companion To The Works Of Heinrich Von Kleist

A Companion To The Works Of Heinrich Von...

On adaptive weighted polynomial preconditioning for Hermitian positive definite matrices

On adaptive weighted polynomial precondi...

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