Temporal Assertions with Parametrized Propositions

DOI10.1093/LOGCOM/EXN078zbMath1203.68103OpenAlexW2128948567MaRDI QIDQ3569200

Volker Stolz

Publication date: 17 June 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn078

zbMATH Keywords

run-time verificationalternating binding automatonLinear-Time Logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

The ins and outs of first-order runtime verification ⋮ Deadlock checking by a behavioral effect system for lock handling

This page was built for publication: Temporal Assertions with Parametrized Propositions