Gudmund Grov | 10 Dec 18:29 2012

SCP Special Issue on Invariant Generation - Second Call for Papers [2 months to go]

(Apologies if you receive multiple copies of this announcement)
Science of Computer Programming
Special Issue on Invariant Generation

This special issue is devoted to the 4th international Workshop on
Invariant Generation (WING 2012)

which was held on June 30 2012 in Manchester as a satellite event of
IJCAR 2012. The scope of the workshop is the automation of extracting
and synthesising auxiliary properties of programs, in particular
providing, debugging, and verifying auxiliary invariant annotations.
This should be seen in a broad sense and relevant topics include (but
are not limited to) the following:

* Program analysis and verification
* Inductive assertion generation
* Inductive proofs for reasoning about loops
* Applications to assertion generation using:
- abstract interpretation,
- static analysis,
- model checking,
- theorem proving,
- theory formation,
- algebraic techniques
* Tools for inductive assertion generation and verification
(Continue reading)