819 search results - page 22 / 164 » Using Assumptions to Distribute CTL Model Checking |
116
click to vote
RTS
2006
15 years 13 days ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
FMSD
2006
15 years 15 days ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
106
click to vote
CAV
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
106
Voted
ICECCS
2010
IEEE
15 years 21 days ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
140
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...