Instant-based and state-based analysis of infinite logical clock

DOI10.1007/978-3-319-57708-1_3MaRDI QIDQ4989017zbMATH OpenOpenAlexFDO

Authors Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni

Publication date 20 May 2021

Published in Structured Object-Oriented Formal Language and Method (Search for Journal in Brave)

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

zbMATH Keywords

CCSLclock modelinfinite clockstate transition system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An executable semantics of clock constraint specification language and its applications
• Divergence detection for CCSL specification via clock causality chain
• Coalgebraic semantic model for the clock constraint specification language
• Automatic verification of timed concurrent constraint programs
• Real-time system = discrete system + clock variables

Cited in

(5)

• Divergence detection for CCSL specification via clock causality chain
• Coalgebraic semantic model for the clock constraint specification language
• An executable semantics of clock constraint specification language and its applications
• SMT-based bounded schedulability analysis of the clock constraint specification language
• Time: it is only logical!

This page was built for publication: Instant-based and state-based analysis of infinite logical clock

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989017)