WING 2010. Workshop on Invariant Generation 2010

19 articles203 pagesPublished: June 22, 2012

Papers

Pages 1-11
Pages 12-43
Pages 44-58
Pages 59-74
Page 75
Pages 76-91
Pages 92-93
Pages 94-110
Pages 111-127
Pages 128-129
Pages 130-131
Pages 132-147
Pages 148-149
Pages 150-151
Pages 152-166
Pages 167-182
Pages 183-184
Pages 185-186
Pages 187-203

Keyphrases

abstract interpretation, acceleration, automated reasoning, concolic execution, concurrent programs, counter automata, Discrete Event Systems, disjunctive domains, Disjunctive Invariants, finite model finders, first-order predicate logic, fixpoint equation systems, formal methods, functional invariants, infinite-state systems, interval analysis, invariant generation2, loop bounds, loop invariants, loop summarization, Loopfrog, mean-payoff games, model checking2, non-termination, parameterized, parameterized systems, policy iteration, program analysis, program derivation, program verification, reachability, real-time systems, Requirements Verification, separation logic, specification, static analysis2, static program analysis, Strategy Improvement Algorithms, termination2, theorem proving3, timed automata, tool, transitive closure, tropical algebra, verification2, Zones