The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Automatic symbolic verification of embedded systems
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Presents a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as hybrid automata-communicating machines with finite control and real-valued variables that represent continuous environment parameters such as time, pressure and temperature. The system requirements are specified in a temporal logic with stop-watches, and verified by symbolic fixpoint computation. The verification procedure-implemented in the Cornell Hybrid Technology tool, HyTech-applies to hybrid automata whose continuous dynamics is governed by linear constraints on the variables and their derivatives. We illustrate the method and the tool by checking safety, liveness, time-bounded and duration requirements of digital controllers, schedulers and distributed algorithms.
How it got here
How it got here
agent via openalex
Added
2026-10-23 19:41 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{alur1996automatic,
title = {Automatic symbolic verification of embedded systems},
author = {Rajeev Alur and Thomas A. Henzinger and Pei-Hsin Ho},
year = {1996},
journal = {IEEE Transactions on Software Engineering},
publisher = {IEEE Computer Society},
volume = {22},
number = {3},
pages = {181--201},
doi = {10.1109/32.489079},
}
This record lives at https://refs.drheap.org/alur1996automatic/ and will keep
doing so. It used to be called a1996automatic, and those addresses still resolve to this one.