Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FMSD
2010
111views more  FMSD 2010»
10 years 11 months ago
Context-aware counter abstraction
aware counter abstraction G
Gérard Basler, Michele Mazzucchi, Thomas Wa...
CONCUR
2006
Springer
11 years 5 months ago
Minimization, Learning, and Conformance Testing of Boolean Programs
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
CAV
2006
Springer
122views Hardware» more  CAV 2006»
11 years 5 months ago
Repair of Boolean Programs with an Application to C
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...
Andreas Griesmayer, Roderick Bloem, Byron Cook
SPIN
2007
Springer
11 years 7 months ago
SAT-Based Summarization for Boolean Programs
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...
Gérard Basler, Daniel Kroening, Georg Weiss...
books