Branching-Time Model Checking Gap-Order Constraint Systems

DOI10.3233/FI-2016-1317zbMath1362.68176arXiv1307.4207OpenAlexW3021255478MaRDI QIDQ2968527

Patrick Totzke, Richard Mayr

Publication date: 16 March 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.4207

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (1)

CTL* model checking for data-aware dynamic systems with arithmetic

This page was built for publication: Branching-Time Model Checking Gap-Order Constraint Systems