Next
Prev
Up
VII.5
Summary
Summary [Slide 326]
Runtime verification
is an integration of
testing
and
formal verification
.
Our runtime verification approach doesn’t suffer from the state explosion problem but it doesn’t perform complete tests.
Next
Prev
Up
2023-09-12
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2023