189 search results - page 13 / 38 » Model Checking Correctness Properties of Electronic Contract... |
175
click to vote
ISSE
2007
15 years 5 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
165
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
168
Voted
CAV
2007
Springer
15 years 11 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
133
Voted
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
182
click to vote
ASM
2010
ASM
16 years 3 days ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...