1116 search results - page 11 / 224 » Applying Predicate Abstraction to Abstract State Machines |
84
Voted
CMSB
2010
Springer
14 years 7 months ago
2010
Springer
114
Voted
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
87
Voted
CMSB
2004
Springer
15 years 6 months ago
2004
Springer
114
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
137
click to vote
OMER
2001
15 years 2 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...