|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Grigory Fedyukovich, Philipp Rümmer |
Competition Report: CHC-COMP-21. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
An Overview of the HFL Model Checking Project. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hetzl, Johannes Kloibhofer |
A Fixed-point Theorem for Horn Formula Equations. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu 0002, Fang Li 0010, Devesh Bhatt, Kevin Driscoll 0001, Elmer Salazar, Gopal Gupta 0001 |
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Bishoksan Kafle (eds.) |
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García 0001, José F. Morales 0001 |
Regular Path Clauses and Their Application in Solving Loops. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jesús J. Doménech, Samir Genaim |
Termination Analysis of Programs with Multiphase Control-Flow. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Jochems |
Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses. |
HCVS@ETAPS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Removing Unnecessary Variables from Horn Clause Verification Conditions. |
HCVS@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko |
Efficient CTL Verification via Horn Constraints Solving. |
HCVS@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher, Pierre Ganty |
Solving non-linear Horn clauses using a linear Horn clause solver. |
HCVS@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Paganelli |
Horn Binary Serialization Analysis. |
HCVS@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Philipp Rümmer (eds.) |
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. |
HCVS@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux |
Hierarchical State Machines as Modular Horn Clauses. |
HCVS@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel |
Challenges in Decomposing Encodings of Verification Problems. |
HCVS@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|