Model Checking for Event Graphs and Event Temporal Logic

DOI10.3724/SP.J.1001.2013.04162zbMATH Open1289.68052OpenAlexW2324167102MaRDI QIDQ5398590

No author found.

Publication date: 28 February 2014

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2013.04162

zbMATH Keywords

model checkingevent graphBüchi automatonevent temporal logic

Mathematics Subject Classification ID

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

Related Items (3)

Observability of extended timed event graph ⋮ Unnamed Item ⋮ Analysis of P-time event graphs in (max,+) and (min,+) semirings

This page was built for publication: Model Checking for Event Graphs and Event Temporal Logic