![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
WING@ETAPS 2009 / WING@IJCAR 2010
- Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner:
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. EPiC Series in Computing 1, EasyChair 2012 - Leonardo Mendonça de Moura, Nikolaj S. Bjørner:
Applications and Challenges in Satisfiability Modulo Theories. 1-11 - Thomas Martin Gawlitza, Helmut Seidl:
Abstract Interpretation over Zones without Widening. 12-43 - Bahareh Badban, Stefan Leue, Jan-Georg Smaus:
Automated Invariant Generation for the Verification of Real-Time Systems. 44-58 - Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn:
Invariants and Robustness of BIP Models. 59-74 - Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar:
Tool Demonstration of the FLATA Counter Automata Toolset. 75 - Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Discovering Specifications for Unknown Procedures - Work in Progress. 76-91 - Michael Franssen:
Cocktail II. 92-93 - Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
:
Tropical linear programming and parametric mean payoff games. 94-110 - Gudmund Grov, Andrew Ireland:
Towards Automated Property Discovery within Hume. 111-127 - Igor Konnov:
CheAPS: a Checker of Asynchronous Parameterized Systems. 128-129 - Daniel Kroening, Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Loopfrog - loop summarization for static analysis. 130-131 - Matthias Kuntz, Stefan Leue, Christoph Scheben:
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. 132-147 - Alexander A. Letichevsky, Alexander Kolchin
, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert:
Formal Requirements Capturing using VRS system. 148-149 - Alexei Lisitsa:
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. 150-151 - Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili:
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. 152-166 - Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey:
Refinement and Term Synthesis in Loop Invariant Generation. 167-182 - Ewen Maclean, Andrew Ireland, Gudmund Grov:
Synthesising Functional Invariants in Separation Logic. 183-184 - Moritz Sinn, Florian Zuleger
:
LOOPUS - A Tool for Computing Loop Bounds for C Programs. 185-186 - Angela Wallenburg:
Generalisation of Induction Formulae based on Proving by Symbolic Execution. 187-203
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.