Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/a-roadmap-for-formal-property-verification-design-intent-coverage-roX5aT2i46
References (0)
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
- Publisher
- Springer Netherlands
- Copyright
- © Springer 2006
- ISBN
- 978-1-4020-4757-2
- Pages
- 157 –194
- DOI
- 10.1007/978-1-4020-4758-9_6
- Publisher site
- See Chapter on Publisher Site
Abstract
[What is the most serious limitation of existing FPV technology? The answer is undisputed today – capacity.]
Published: Jan 1, 2006