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
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
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
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.
last updated on 2024-11-22 19:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: