Category:Model checking (computer science)
Jump to navigation
Jump to search
verifying whether a finite-state model meets a given specification | |||||
| Upload media | |||||
| Subclass of | |||||
|---|---|---|---|---|---|
| |||||
 | |||||
Subcategories
This category has the following 8 subcategories, out of 8 total.
A
- Rajeev Alur (3 F)
B
- Büchi automaton (9 F)
C
- Edmund M. Clarke (6 F)
L
P
- Amir Pnueli (3 F)
T
- TAPAAL Model Checker (1 F)
Media in category "Model checking (computer science)"
The following 11 files are in this category, out of 11 total.
-
ALCCTL Example.jpg 756 × 248; 38 KB
-
FLoC2006- 25MC - 25 Years of Model Checking.jpg 432 × 640; 194 KB
-
KripkeStructureExample.svg 373 × 325; 2 KB
-
Model checking exemple distributeur de boissons.svg 378 × 159; 33 KB
-
Model checking principe.svg 328 × 226; 53 KB
-
ModelChecking.svg 278 × 201; 10 KB
-
Mrmc cmd.jpg 700 × 580; 105 KB
-
Stuttering Equivalence.pdf 472 × 614; 90 KB
-
Stuttering Equivalence.svg 284 × 369; 16 KB
-
TLA IDE screenshot.png 2,164 × 1,388; 149 KB
-
TLC one-bit clock states.png 401 × 402; 14 KB
