|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner (eds.) |
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  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Bahareh Badban, Stefan Leue, Jan-Georg Smaus |
Automated Invariant Generation for the Verification of Real-Time Systems. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Stefan Leue, Christoph Scheben |
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Maclean, Andrew Ireland, Gudmund Grov |
Synthesising Functional Invariants in Separation Logic. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
Loopfrog - loop summarization for static analysis. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin |
Discovering Specifications for Unknown Procedures - Work in Progress. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Abstract Interpretation over Zones without Widening. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey |
Refinement and Term Synthesis in Loop Invariant Generation. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili 0001 |
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angela Wallenburg |
Generalisation of Induction Formulae based on Proving by Symbolic Execution. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn |
Invariants and Robustness of BIP Models. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa 0001 |
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Applications and Challenges in Satisfiability Modulo Theories. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franssen |
Cocktail II. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Gaubert, Ricardo Katz, Sergei Sergeev |
Tropical linear programming and parametric mean payoff games. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Konnov 0001 |
CheAPS: a Checker of Asynchronous Parameterized Systems. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudmund Grov, Andrew Ireland |
Towards Automated Property Discovery within Hume. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar |
Tool Demonstration of the FLATA Counter Automata Toolset. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Sinn, Florian Zuleger |
LOOPUS - A Tool for Computing Loop Bounds for C Programs. |
WING@ETAPS/IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license