Paper Info
Title
Verification of Real-Time Systems using Linear Relation Analysis
Abstract
Linear Relation Analysis [11] is an abstract interpretation devotedto the automatic discovery of invariant linear inequalities amongnumerical variables of a program. In this paper, we apply such ananalysis to the verification of quantitative time properties of twokinds of systems: synchronous programs and linear hybrid systems.
Year
DOI
Venue
1997
10.1023/A:1008678014487
Formal Methods in System Design
Keywords
DocType
Volume
abstract interpretation,convex polyhedra,real time systems,synchronous languages,hybrid systems
Journal
11
Issue
ISSN
Citations 
2
1572-8102
167
PageRank 
References 
Authors
11.20
23
3
Search Limit
100167
Name
Order
Citations
PageRank
Nicolas Halbwachs13957426.43
Yann-Erick Proy216711.20
Patrick Roumanoff316711.20