1809 search results - page 109 / 362 » A Formal Specification of dMARS |
IANDC
2008
13 years 9 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
SOCA
2008
IEEE
13 years 9 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
ASE
2004
13 years 8 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
TODAES
1998
13 years 8 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
GI
2010
Springer
13 years 7 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...