Extending Temporal Logic with Omega-Automata

By Nir Piterman

This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3838322061
• ISBN13: 9783838322063
• Release Date: March 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 88 Pages
• Weight: 0.31 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"