Searching for "Symbolic model checking with rich assertional languages." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Symbolic model checking with rich assertional languages
- …Symbolic Model Checking with Rich Assertional Languages ? Y. Kesten y O. Maler ?? M. Marcus ??? A…
- Cited by 73 (4 self) – Add To MetaCart
-
Constraint-based Verification of Client-Server Protocols
- … [Omega,Pug92], and Boolean solvers [CUDD] incorporated in the paradigm of symbolic model checking…
- Cited by 9 (4 self) – Add To MetaCart
-
Document d'Habilitation `a Diriger des Recherches Universit'e Joseph Fourier Syst`emes Discrets, Temporis'es et Hybrides
- …, statistical inference and more. This process can serve as a naive model of how science progresses…
- Add To MetaCart
Showing 1 through 3.
