Your search for 52181 returns 2217 document(s) |
On Strings in Software Model Checking (19-30) |
Author: Hossein Hojjat
Philipp Rummer
Ali Shamakhi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Model checking |
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking |
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multi-Valued Symbolic Model-Checking, page 371-408 |
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Type-Based HFL Model Checking Algorithm (136-155) |
Author: Youkichi Hosoi
Naoki Kobayashi
Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic Model Checking of UML Activity Diagrams, page 1-38 |
Author: R. Eshuis | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking |
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|