| Your search for 39690 returns 3601 document(s) |
| Relaxed visibility enhances partial order reduction, (LNCS-Lecture Notes in Computer Science 1254) Hal 328-339 |
|
Author: Ilkka Kokkarinen; Doron Peled; Antti Valmari; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351 |
|
Author: R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace table based approach for pipelined microprocessor verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 364-375 |
|
Author: Jun Sawada; Warren A. Hunt Jr; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 376-387 |
|
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Aziz; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient modeling of memoryarrays in symbolic simulation, (LNCS-Lecture Notes in Computer Science 1254) Hal 388-399 |
|
Author: Miroslav Velev; Randal E. Bryant; Alok Jain; | 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
|
| 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
|
Search Result