1492 search results - page 59 / 299 » Automatic Software Model Checking Using CLP |
116
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
101
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
103
Voted
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
114
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
107
click to vote
PPPJ
2006
ACM
15 years 7 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...