The refinement calculus of reactive systems
From MaRDI portal
Publication:2672236
DOI10.1016/j.ic.2021.104819zbMath1487.68160arXiv1406.6035WikidataQ114014310 ScholiaQ114014310MaRDI QIDQ2672236
Stavros Tripakis, Viorel Preoteasa, Iulia Dragomir
Publication date: 8 June 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.6035
68Q60: Specification and verification (program logics, model checking, etc.)
68V20: Formalization of mathematics in connection with theorem provers
Uses Software