Using Coq for Formal Modeling and Verification of Timed Connectors

DOI10.1007/978-3-319-74781-1_37zbMath1461.68056OpenAlexW2785776972MaRDI QIDQ4989716

Xiyue Zhang, Meng Sun, Muhammad Saqib Nawaz, Yi Li, Weijiang Hong

Publication date: 26 May 2021

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74781-1_37

zbMATH Keywords

verificationmodelingCoqReotimed connector

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Unnamed Item

This page was built for publication: Using Coq for Formal Modeling and Verification of Timed Connectors