An Executable Semantics of Clock Constraint Specification Language and Its Applications

DOI10.1007/978-3-319-29510-7_2zbMath1396.68072OpenAlexW2294705857MaRDI QIDQ4686605

Min Zhang, Frédéric Mallet

Publication date: 2 October 2018

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01353824/file/main%20%281%29.pdf

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On the semantics of polychronous polytimed specifications

Uses Software

• TimeSquare

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Time, clocks, and the ordering of events in a distributed system
• Automated Technology for Verification and Analysis
• Unnamed Item

This page was built for publication: An Executable Semantics of Clock Constraint Specification Language and Its Applications