Formal Hardware Verification: Methods and Systems in Comparison - Softcover

 
9783662174937: Formal Hardware Verification: Methods and Systems in Comparison
Softcover
ISBN 10: 3662174936 ISBN 13: 9783662174937
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

Symbolic trajectory evaluation.- Automated verification with abstract state machines using multiway decision graphs.- Design verification using Synchronized Transitions.- Hardware verification using PVS.- Verifying VHDL designs with COSPAN.- The C@S system: Combining proof strategies for system verification.- Appendix: The common book examples.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662174936
ISBN 13 
9783662174937
Binding
Paperback
Number of pages
388
Editor
Kropf Thomas

Other Popular Editions of the Same Title

9783540634751: Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)

Featured Edition

ISBN 10:  3540634754 ISBN 13:  9783540634751
Publisher: Springer, 1997
Softcover