Run-Time Checking of Dynamic Properties1
Under a Creative Commons license
open access
Keywords
Specification language
run-time monitoring
linear-time temporal logic
Cited by (0)
- 1
This research has been supported in part by DARPA PCA F33615-00-C-1887, NSF CCR-0209024, ARO DAAD19-01-1-0473.
Copyright © 2006 Elsevier B.V.