3 search results - page 1 / 1 » Bounded and Unbounded Safety Verification Using Bisimulation... |
60
Voted
HYBRID
2009
Springer
15 years 5 months ago
2009
Springer
110
Voted
FORMATS
2006
Springer
15 years 2 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...
185
click to vote
POPL
2009
ACM
15 years 11 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 ...