3 search results - page 1 / 1 » Bounded and Unbounded Safety Verification Using Bisimulation... |
HYBRID
2009
Springer
14 years 7 days ago
2009
Springer
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
POPL
2009
ACM
14 years 6 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...