3335 search results - page 40 / 667 » A Unified Approach to Modeling and Programming |
140
click to vote
ERLANG
2006
ACM
15 years 12 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
173
click to vote
JVA
2006
IEEE
15 years 12 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
151
click to vote
FORTE
2008
15 years 7 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
145
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
152
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...