Verified software View on Open Library

Verified software

by VSTTE 2010 (2010 Edinburgh, Scotland)

No reviews yet
First published: 2010 1 language ISBN: 9783642150562
Subjects
Programmverifikation Formale Methode Programmtest Congresses Verification Computer programs Software Verifikation Programmanalyse Logic design

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Programmverifikation
The design of well-structured and correct programs

The design of well-structured and correc...

Suad Alagić
Verification, model checking, and abstract interpretation

Verification, model checking, and abstra...

VMCAI 2004 (2004 Venice, Italy)
Verification of sequential and concurrent programs

Verification of sequential and concurren...

Krzysztof R. Apt
Programming Languages and Systems

Programming Languages and Systems

Zhenjiang Hu
A survey of verification techniques for parallel programs

A survey of verification techniques for ...

Howard Barringer
Constructing correct software

Constructing correct software

Cooke, John