Verifying ET-LOTOS programs with KRONOS

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 227-242
https://doi.org/10.1007/978-0-387-34878-0_17

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

From ATP to timed graphs and hybrid systems
Acta Informatica, 1993
Integration Graphs: A class of decidable hybrid systems
Published by Springer Nature ,1993
An approach to the description and analysis of hybrid systems
Published by Springer Nature ,1993
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems, 1986