Verification of Real-Time Systems using Linear Relation Analysis (1997)
by
Nicolas Halbwachs
,
Yann-Erick Proy
,
Patrick Roumanoff
| Venue: | FORMAL METHODS IN SYSTEM DESIGN |
| Citations: | 91 - 5 self |
BibTeX
@INPROCEEDINGS{Halbwachs97verificationof,
author = {Nicolas Halbwachs and Yann-Erick Proy and Patrick Roumanoff},
title = {Verification of Real-Time Systems using Linear Relation Analysis},
booktitle = {FORMAL METHODS IN SYSTEM DESIGN},
year = {1997},
pages = {157--185},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Linear Relation Analysis [CH78] is an abstract interpretation devoted to the automatic discovery of invariant linear inequalities among numerical variables of a program. In this paper, we apply such an analysis to the verification of quantitative time properties of two kinds of systems: synchronous programs and linear hybrid systems.
