Evidence for Fixpoint Logic

DOI10.4230/LIPICS.CSL.2015.78zbMath1373.68286OpenAlexW2281419956MaRDI QIDQ5351951

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

Publication date: 31 August 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/csl/csl2015.html#CranenLW15

zbMATH Keywords

counterexamplemodel checkingdiagnosticsfixpoint logicACTL*stuttering bisimilarity

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (4)

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Off-the-shelf automated analysis of liveness properties for just paths ⋮ Unnamed Item ⋮ Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)

This page was built for publication: Evidence for Fixpoint Logic