ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation7 articles•70 pages•Published: July 28, 2013 Papers
Keyphrasesabstract interpretation, automated induction, automated theorem proving, categorical quantum mechanics, Conjecture synthesis, depth-first search, equational reasoning, floating-point numbers, graph rewriting, Isabelle/HOL, machine integers, model checking, model theory, monoidal categories, numeric domains, program verification, saturation, static analysis, string diagrams, testing, theorem proving, theory exploration, theory formation |
