Filter by: Subject
Now showing items 1-10 of 2
formal verification (2) |
refinement-based verification (2) |
critical systems (1) |
formal specifications (1) |
model checking (1) |
real-time verification (1) |
refinement maps (1) |
timed refinement (1) |
timed transition systems (1) |
verification of object code (1) |