WING@ETAPS/IJCAR

Keyphrases

Publications

volume 1, 2012

Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010 WING@ETAPS/IJCAR 1 (2012)

2010

Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Automated Invariant Generation for the Verification of Real-Time Systems. WING@ETAPS/IJCAR (2010)
Matthias Kuntz, Stefan Leue, Christoph Scheben
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. WING@ETAPS/IJCAR (2010)
Ewen Maclean, Andrew Ireland, Gudmund Grov
Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR (2010)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR (2010)
Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR (2010)
Thomas Martin Gawlitza, Helmut Seidl
Abstract Interpretation over Zones without Widening. WING@ETAPS/IJCAR (2010)
Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey
Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR (2010)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. WING@ETAPS/IJCAR (2010)
Angela Wallenburg
Generalisation of Induction Formulae based on Proving by Symbolic Execution. WING@ETAPS/IJCAR (2010)
Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn
Invariants and Robustness of BIP Models. WING@ETAPS/IJCAR (2010)
Alexei Lisitsa
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. WING@ETAPS/IJCAR (2010)
Leonardo Mendonça de Moura, Nikolaj Bjørner
Applications and Challenges in Satisfiability Modulo Theories. WING@ETAPS/IJCAR (2010)
Michael Franssen
Cocktail II. WING@ETAPS/IJCAR (2010)
Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
Tropical linear programming and parametric mean payoff games. WING@ETAPS/IJCAR (2010)
Igor Konnov
CheAPS: a Checker of Asynchronous Parameterized Systems. WING@ETAPS/IJCAR (2010)
Gudmund Grov, Andrew Ireland
Towards Automated Property Discovery within Hume. WING@ETAPS/IJCAR (2010)
Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar
Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR (2010)
Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert
Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR (2010)
Moritz Sinn, Florian Zuleger
LOOPUS - A Tool for Computing Loop Bounds for C Programs. WING@ETAPS/IJCAR (2010)