Items related to Formal Hardware Verification: Methods and Systems in...

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.

  • PublisherSpringer
  • Publication date2014
  • ISBN 10 3662174936
  • ISBN 13 9783662174937
  • BindingPaperback
  • LanguageEnglish
  • Number of pages388
  • EditorKropf Thomas

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

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
Hardcover