Checking finite traces using alternating automata
From MaRDI portal
Publication:1878915
DOI10.1023/B:FORM.0000017718.28096.48zbMath1073.68053MaRDI QIDQ1878915
Bernd Finkbeiner, Henny B. Sipma
Publication date: 9 September 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Optimized temporal monitors for SystemcC, Run-Time Monitoring of Electronic Contracts, Multi-head Monitoring of Metric Temporal Logic, Applications of an expressive statistical model checking approach to the analysis of genetic circuits, Monitoring hyperproperties, Model Checking Merged Program Traces, Combining test case generation and runtime verification, Monitoring Metric First-Order Temporal Properties