Compositional Verification for Timed Systems Based on Automatic Invariant Generation

DOI10.2168/LMCS-11(3:15)2015zbMath1448.68216arXiv1506.04879OpenAlexW3106343240MaRDI QIDQ3196346

Jacques Combaz, Marius Bozga, Lăcrămioara Aştefănoaei, Saddek Bensalem, Souha Ben Rayana

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

interactionsinvariantstimed automatacompositional verificationcomponent invariantsinteraction invariants

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Safe Decomposition of Startup Requirements: Verification and Synthesis

Uses Software

• MOCHA

This page was built for publication: Compositional Verification for Timed Systems Based on Automatic Invariant Generation