EasyChair Publications
Search
ATx'12/WInG'12 Volume Information
Volume:Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors)
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation

ATx'12/WInG'12 Volume Information

Title:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Editors:Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill
Series:EPiC Series in Computing
Volume:17
Publication date:July 28, 2013

Papers

AuthorsTitlePagesPDF
Robert ConstableProof Assistants and the Dynamic Nature of Formal Theories1-15
Koen Claessen, Moa Johansson, Dan Rosén and Nicholas SmallboneHipSpec : Automating Inductive Proofs of Program Properties16-25
Aleks KissingerSynthesising Graphical Theories26-35
René NeumannA Framework for Verified Depth-First Algorithms36-45
Alan SmaillTheory Exploration: a role for Model Theory?46-53
Aditya NoriSpecification Inference and Invariant Generation: A Machine Learning Perspective54
Antoine MinéAbstract Domains for Bit-Level Machine Integer and Floating-point Operations55-70

Keyphrases

CountKeyphrase
1abstract 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