WING 2010. Workshop on Invariant Generation 201019 articles•203 pages•Published: June 22, 2012 PapersPages 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 |
Keyphrasesabstract 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 |
|