Constraint Logic Programming Applied to Model Checking

2000 ◽  
pp. 30-41 ◽  
Author(s):  
Laurent Fribourg
Keyword(s):  
Model Checking ◽  
Logic Programming ◽  
Constraint Logic Programming

scholarly journals Program Transformation for Program Verification

10.29007/t9v2 ◽  
2018 ◽  
Author(s):  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Model Checking ◽  
Logic Programming ◽  
Program Transformation ◽  
Program Verification ◽  
Constraint Logic Programming ◽  
Software Model Checking ◽  
Program Specialization ◽  
Software Model

We present a transformational approach to program verification and software model checking that uses three main ingredients:(i) Constraint Logic Programming (CLP),(ii) metaprogramming and program specialization, and(iii) proof by transformation.

Constructive negation and constraint logic programming with sets

2001 ◽  
Vol 19 (3) ◽  
pp. 209-255 ◽  
Author(s):  
Agostino Dovier ◽  
Enrico Pontelli ◽  
Gianfranco Rossi
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Constructive Negation
Sign in / Sign up

Export Citation Format

Share Document