FMSD
2010
13 years 2 months ago
2010
aware counter abstraction G
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
CAV
2006
Springer
13 years 8 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...