HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

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
EPiC Series in Computing•Volume 17
7 articles•70 pages•Published: July 28, 2013

Papers

Proof Assistants and the Dynamic Nature of Formal Theories
Robert Constable
Pages 1-15
HipSpec : Automating Inductive Proofs of Program Properties
Koen Claessen, Moa Johansson, Dan Rosén and Nicholas Smallbone
Pages 16-25
Synthesising Graphical Theories
Aleks Kissinger
Pages 26-35
A Framework for Verified Depth-First Algorithms
René Neumann
Pages 36-45
Theory Exploration: a role for Model Theory?
Alan Smaill
Pages 46-53
Specification Inference and Invariant Generation: A Machine Learning Perspective
Aditya Nori
Page 54
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations
Antoine Miné
Pages 55-70

Keyphrases

abstract 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
Copyright © 2012-2023 easychair.org. All rights reserved.