5216 search results - page 144 / 1044 » Planning as Model Checking |
114
click to vote
ENTCS
2006
15 years 3 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
153
click to vote
ASE
2005
15 years 3 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
129
click to vote
IPL
2010
15 years 1 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
140
click to vote
TDSC
2010
14 years 9 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
122
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...