1116 search results - page 27 / 224 » Applying Predicate Abstraction to Abstract State Machines |
108
click to vote
ASPDAC
2001
ACM
15 years 2 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
103
click to vote
WDAG
2010
Springer
14 years 9 months ago
2010
Springer
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
79
Voted
ECOOP
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
WDAG
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...