MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Sanity Checks in Formal Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Ltl satisfiability checking  
  • by Kristin Y. Rozier, Moshe Y. Vardi — 2007 — In 14th International SPIN Workshop, volume 4595 of LNCS
  • … to the development of several sanity checks for formal verification [29]. The goal of these checks is to detect…
  • Cited by 3 (1 self) – Add To MetaCart
  • Regular vacuity  
  • by Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi — 2005 — In Proc. 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, volume 3725 of Lecture Notes in Computer Science
  • … for formal verification. The goal of these checks is to detect errors in the modelling of the system…
  • Cited by 13 (10 self) – Add To MetaCart
  • Regular Vacuity  
  • by Doron Bustan Alon, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi — 2005 — In Proc. 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, volume 3725 of Lecture Notes in Computer Science
  • … for formal verification. The goal of these checks is to detect errors in the modelling of the system…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB