Searching for "Symbolic Model Checking." – sorted by Relevance.
1,379 documents found, showing 1 through 10.
Next 10 →
-
Distributed Symbolic Model Checking for
- … Distributed Symbolic Model Checking for _-calculus Orna Grumberg1, Tamir Heyman1;2, Assaf…
- Add To MetaCart
-
Symbolic Model Checking in Practice
- …Symbolic Model Checking in Practice Symbolic model checking is a technique for verifying finite…
- Cited by 1 (0 self) – Add To MetaCart
-
. Symbolic Model Checking
- … 1997 E. Cerny, X. Song 7/13/97 7.1 of 17 7. Symbolic Model Checking Page Symbolic Model Checking…
- Add To MetaCart
-
Symbolic model checking
- … Symbolic model checking for simply-timed systems N. Markey1,2 and Ph. Schnoebelen2 1 De…
- Add To MetaCart
-
Lazy Symbolic Model Checking
- …Lazy Symbolic Model Checking Jin Yang Strategic CAD Labs Design Technology, Intel Corp. jinyang…
- Add To MetaCart
-
Flat acceleration in symbolic model checking
- …Flat acceleration in symbolic model checking ⋆ Sébastien Bardin 1 , Alain Finkel 1 , Jérôme Leroux…
- Cited by 3 (1 self) – Add To MetaCart
-
Optimizing symbolic model checking for statecharts
- … present various optimizations for improving the time and space efficiency of symbolic model checking…
- Cited by 8 (0 self) – Add To MetaCart
-
Reflecting Symbolic Model Checking in Coq
- … ecting Symbolic Model Checking in Coq Kumar Neeraj Verma Report on DEA internship completed under…
- Add To MetaCart
-
Symbolic model checking of logics with actions
- …Symbolic Model Checking of Logics with Actions Charles Pecheur 1⋆ and Franco Raimondi 2⋆⋆ 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Word Level Symbolic Model Checking
- …Word Level Symbolic Model Checking A New approach for Verifying Arithmetic Circuits E. Clarke X…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
