Your search for 38849 returns 2325 document(s) |
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254) Hal 412-423 |
Author: A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic model checking with rich assertional languages, (LNCS-Lecture Notes in Computer Science 1254) Hal 424-435 |
Author: Y. Kesten; O. Maler; M. Marcus; A. Pnueli; E. Shahar; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439 |
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447 |
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
MOSEL: a sound and efficient tool for M2L (str), (LNCS-Lecture Notes in Computer Science 1254) Hal 448-451 |
Author: Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455 |
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
HYTECH: a model checker for hybrid systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 460-463 |
Author: Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467 |
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411 |
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Ucke - efficient u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 468-471 |
Author: Armin Biere; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|