Name
Abstract | ||
|---|---|---|
. Verifying properties of hybrid systems can be highly complex.To reduce the effort required to produce a correct proof, the use ofmechanical verification techniques is promising. Recently, we extendeda mechanical verification system, originally developed to reason aboutdeterministic real-time automata, to verify properties of hybrid systems.To evaluate our approach, we applied our extended proof system to asolution, based on the Lynch-Vaandrager timed automata model, of theSteam... |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1007/BFb0014724 | HART |
Keywords | Field | DocType |
case study,timed automata,verifying hybrid systems,hybrid system,requirements,verification,real time,hybrid systems,automata,mathematical models | Prototype Verification System,Control theory,Simulation,Computer science,Automaton,Control engineering,Mathematical model,Boiler (power generation),Hybrid system,Verification system,Hybrid automaton | Conference |
Volume | ISSN | ISBN |
1201 | 0302-9743 | 3-540-62600-X |
Citations | PageRank | References |
15 | 1.28 | 9 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Myla Archer | 1 | 463 | 56.43 |
| Constance L. Heitmeyer | 2 | 898 | 151.71 |