Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

DOI10.1007/b94667zbMath1215.68134OpenAlexW2476290002MaRDI QIDQ5896950

Gul A. Agha, Koushik Sen, Grigore Roşu

Publication date: 11 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94667

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (7)

Runtime verification for biochemical programs ⋮ Decentralised LTL monitoring ⋮ Monitorability for the Hennessy-Milner logic with recursion ⋮ Synthesising correct concurrent runtime monitors ⋮ Organising LTL monitors over distributed systems with a global clock ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ Combining test case generation and runtime verification

Uses Software

This page was built for publication: Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation