Login / Signup
ATx/WInG@IJCAR
2013
2013
2013
Keyphrases
Publications
volume 17, 2013
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012
ATx/WInG@IJCAR
17 (2013)
2012
Alan Smaill
Theory Exploration: a role for Model Theory?
ATx/WInG@IJCAR
(2012)
Koen Claessen
,
Moa Johansson
,
Dan Rosén
,
Nicholas Smallbone
HipSpec: Automating Inductive Proofs of Program Properties.
ATx/WInG@IJCAR
(2012)
René Neumann
A Framework for Verified Depth-First Algorithms.
ATx/WInG@IJCAR
(2012)
Antoine Miné
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations.
ATx/WInG@IJCAR
(2012)
Aditya V. Nori
Specification Inference and Invariant Generation: A Machine Learning Perspective.
ATx/WInG@IJCAR
(2012)
Robert L. Constable
Proof Assistants and the Dynamic Nature of Formal Theories.
ATx/WInG@IJCAR
(2012)
Aleks Kissinger
Synthesising Graphical Theories.
ATx/WInG@IJCAR
(2012)