A Roadmap for Formal Property VerificationIntroduction
A Roadmap for Formal Property Verification: Introduction
DasGupta, Pallab
2006-01-01 00:00:00
[What is formal property verification? A natural language such as English allows us to interpret the term formal property verification in two ways, namely:]
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pnghttp://www.deepdyve.com/lp/springer-journals/a-roadmap-for-formal-property-verification-introduction-WQwTEyKVR8
A Roadmap for Formal Property VerificationIntroduction
[What is formal property verification? A natural language such as English allows us to interpret the term formal property verification in two ways, namely:]
Published: Jan 1, 2006
Keywords: State Machine; Model Check; Test Bench; Formal Property; Linear Temporal Logic
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.