Divergence detection for CCSL specification via clock causality chain

DOI10.1007/978-3-319-47677-3_2zbMath1393.68110OpenAlexW2529333808MaRDI QIDQ1660763

Robert de Simone, Julien DeAntoni, Qingguo Xu

Publication date: 16 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-47677-3_2

zbMATH Keywords

divergencePVSbounded clock setCCSLclock causality chain

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Divergence detection for CCSL specification via clock causality chain