6 search results - page 2 / 2 » Verifying Temporal Properties of Reactive Systems: A STeP Tu... |
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...