160 search results - page 13 / 32 » Modeling, specification, and verification of automaton progr... |
CAV
2004
Springer
14 years 6 days ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
FAABS
2000
Springer
14 years 1 days ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
FUIN
2006
13 years 8 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...