5216 search results - page 238 / 1044 » Planning as Model Checking |
145
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
148
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
142
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
132
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
140
click to vote
EUC
2008
Springer
15 years 6 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...