Collecting Statistics over Runtime Executions
Open Access
- 31 December 2002
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 70 (4), 36-54
- https://doi.org/10.1016/s1571-0661(04)80576-0
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Min-max Computation Tree LogicArtificial Intelligence, 2001
- Verifying Temporal Properties of Reactive Systems: A STeP TutorialFormal Methods in System Design, 2000
- Generalized quantitative temporal reasoning: An automata-theoretic approachPublished by Springer Nature ,1997
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Specification and verification of concurrent programs by ∀-automataPublished by Springer Nature ,1989
- GprofACM SIGPLAN Notices, 1982
- AlternationJournal of the ACM, 1981
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969