Welcome to the WING web
This is the Web forum of a community of researchers working on invariant generation,
and more generally, on how to reason about loops in programs. Topics of interest include:
- Program analysis and verification
- Inductive Assertion Generation
- Inductive Proofs for Reasoning about Loops
- Applications to Assertion Generation using the following tools:
- Abstract Interpretation
- Static Analysis
- Model Checking
- Theorem Proving
- Algebraic Techniques
- Tools for inductive assertion generation and verification
- Alternative techniques for reasoning about loops
Events
WING 2009
The second workshop on invariant generation will take place in March 2009, as a satellite workshop
of ETAPS. See
http://mtc.epfl.ch/events/WING09/ for the event's web page.
AndrewIreland and
LauraKovacs will be PC chairs.
WING 2007
From 25-26 June 2007, the first workshop on invariant generation (WING) has taken place at
RISC in Hagenberg, see here:
http://www.risc.uni-linz.ac.at/about/conferences/WING2007/
for the event's web page.
At the business meeting, it was decided to start a community web page to gather information
on various approaches, working groups, and systems, maybe also exchanging benchmark problems.
You are looking at the beginnings of this web site!
There were also discussions concerning a
WingWorkshop2008 event next year, preferably collocated with some
conference on formal software engineering. An initial
SteeringCommittee was chosen.
We are trying to produce a
SpecialIssue of the Journal of Symbolic Computation, with a submission
deadline around the end of 2007.
Project Pages
Here, there should be a list of links to pages describing the approaches of the various groups of
researchers working on invariant generation, loop reasoning and related topics. Please create a
page describing your work, and add a link here!
WING Web Utilities
