2514 search results - page 335 / 503 » The use of industrial-strength formal methods |
136
click to vote
FORMATS
2007
Springer
16 years 19 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
181
click to vote
IFM
2007
Springer
16 years 18 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
173
click to vote
RSEISP
2007
Springer
16 years 17 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
152
click to vote
IPCCC
2006
IEEE
16 years 15 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
189
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...