-
Chapter and Conference Paper
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification
The design of distributed, safety critical real-time systems is challenging due to their high complexity, the potentially large number of components, and complicated requirements and environment assumptions. O...
-
Chapter and Conference Paper
Verification of GUI Applications: A Black-Box Approach
In this paper, we propose to base the verification of a GUI application on a reference model used in black-box testing. The reference model is a formal model for the behavior of the GUI application. It is derived...
-
Chapter and Conference Paper
Parameterized Verification of Track Topology Aggregation Protocols
We present an approach for the verification aggregation protocols, which may be used to perform critical tasks and thus should be verified. We formalize the class of track topology aggregation protocols and pr...