Resets vs. Aborts in Linear Temporal Logic (2003)
Cached
Download Links
- [leibniz.cs.huji.ac.il]
- [www.cs.rice.edu]
- DBLP
Other Repositories/Bibliography
by
Roy Armoni
,
Doron Bustan
,
Orna Kupferman
,
Moshe Y. Vardi
| Citations: | 10 - 3 self |
BibTeX
@MISC{Armoni03resetsvs.,
author = {Roy Armoni and Doron Bustan and Orna Kupferman and Moshe Y. Vardi},
title = {Resets vs. Aborts in Linear Temporal Logic},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
There has been a major emphasis recently in the semiconductor industry on designing industrial-strength property specification languages. Two major languages are ForSpec and Sugar 2.0, which are both extensions of Pnueli's LTL. Both
