93 search results - page 19 / 19 » Partial Order Reduction for Model Checking of Timed Automata |
CP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
abstract NP-hard optimization problem, in a general sense. From the observation that, intuitively, there are many connections among categorical concepts and structural complexity n...
ECRTS
2008
IEEE
13 years 11 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...