|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Temesghen Kahsai, Germán Vidal (eds.) |
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. |
HCVS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Komendantskaya, Yue Li 0021 |
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper. |
HCVS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti |
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. |
HCVS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | António Ravara |
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm. |
HCVS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Qi Zhou 0010, William Harris |
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. |
HCVS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
Runtime Verification Through Forward Chaining. |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti |
Verification of Programs by Combining Iterated Specialization with Interpolation. |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher |
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi 0001 |
Horn Clauses for Communicating Timed Systems. |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai |
Synthesizing Modular Invariants for Synchronous Code. |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni (eds.) |
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Generalised Interpolation by Solving Recursion-Free Horn Clauses |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|