scholarly journals Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

2021 ◽  
Vol 344 ◽  
Author(s):  
Hossein Hojjat ◽  
Bishoksan Kafle
Keyword(s):  
Horn Clauses

scholarly journals Automating Induction for Solving Horn Clauses

2017 ◽  
pp. 571-591 ◽  
Author(s):  
Hiroshi Unno ◽  
Sho Torii ◽  
Hiroki Sakamoto
Keyword(s):  
Horn Clauses

scholarly journals Verification of Time-Aware Business Processes Using Constrained Horn Clauses

2017 ◽  
pp. 38-55
Author(s):  
Emanuele De Angelis ◽  
Fabio Fioravanti ◽  
Maria Chiara Meo ◽  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Business Processes ◽  
Horn Clauses ◽  
Time Aware

Normalization of Linear Horn Clauses

2011 ◽  
pp. 242-257
Author(s):  
Thomas Martin Gawlitza ◽  
Helmut Seidl ◽  
Kumar Neeraj Verma
Keyword(s):  
Horn Clauses

Horn Clauses: Preliminaries

2014 ◽  
pp. 125-132
Author(s):  
Chris Collins ◽  
Paul M. Postal
Keyword(s):  
Horn Clauses
Sign in / Sign up

Export Citation Format

Share Document