FA Sign in

Discover references

verification

Books

5 results

Cover of Principles of Functional Verification

English Unordered

Principles of Functional Verification

Andreas Meyer

2003 View book

Cover of Principles of Model Checking

English Advanced

Principles of Model Checking

Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen

2008 View book

English Advanced

Principles of Model Checking (Instructor Solution Manual, Solutions)

Christel Baier,Joost-Pieter Katoen

2008 View book

English Unordered

Formal Aspects of Computing

Wu, Nicolas; Simpson, Andrew

2014 May 27 View book

Cover of ACM Transactions on Computational Logic

English Unordered

ACM Transactions on Computational Logic

Japaridze, Giorgi

2006 April 01 View book