Verification of real-time systems by successive over and under approximation
Authors:
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 409-422
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Automatic verification of timed circuits1994
- Modeling and verification of a real life protocol using symbolic model checkingLecture Notes in Computer Science, 1994
- Generation of reduced models for checking fragments of CTL1993
- Delay analysis in synchronous programs1993
- A verification strategy for timing constrained systems1993
- Timing verification by successive approximation1993
- Compiling real-time specifications into extended automataIEEE Transactions on Software Engineering, 1992
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977