Back to Results
First PageMeta Content
Programming paradigms / Abductive logic programming / Linear temporal logic / Model checking / Formal verification / NuSMV / Constraint programming / Temporal logic / Declarative programming / Prolog / Logic programming / Entityrelationship model


Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1
Add to Reading List

Document Date: 2008-12-16 11:06:58

Open Document

File Size: 310,97 KB

Share Result on Facebook