|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski |
Ultimate TreeAutomizer (CHC-COMP Tool Description).  |
HCVS/PERR@ETAPS  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Kahramanogullari |
On Quantitative Comparison of Chemical Reaction Network Models. |
HCVS/PERR@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert |
Understanding Counterexamples for Relational Properties with DIbugger. |
HCVS/PERR@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich (eds.) |
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. |
HCVS/PERR@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. |
HCVS/PERR@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Zhou 0010, David Heath, William Harris |
Relational Verification via Invariant-Guided Synchronization. |
HCVS/PERR@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license