Verification from Declarative Specifications Using Logic Programming
DOI10.1007/978-3-540-89982-2_39zbMATH Open1185.68419OpenAlexW1514325465WikidataQ57977956 ScholiaQ57977956MaRDI QIDQ5504672FDOQ5504672
Authors: Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello 
Publication date: 22 January 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_39
Recommendations
- Verification of logic programs
- Logic programs as specifications in the inductive verification of logic programs
- scientific article; zbMATH DE number 1497823
- Abstract interpretation based verification of logic programs
- scientific article; zbMATH DE number 1973214
- Assertion based inductive verification methods for logic programs
- scientific article; zbMATH DE number 1926608
- scientific article; zbMATH DE number 3907752
- Specifying, programming and verifying with equational logic
Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- NuSMV: A new symbolic model checker
- Logic Programming
- Title not available (Why is that?)
- Abductive Logic Programming
- Clausal temporal resolution
- Real-time logics: Complexity and expressiveness
- Title not available (Why is that?)
- Theory and practice of constraint handling rules
- Algorithm = logic + control
- Title not available (Why is that?)
- A resolution principle for constrained logics
- Verifiable agent interaction in abductive logic programming
- Coinductive Logic Programming and Its Applications
- ${\cal B}$ -Tropos
Cited In (16)
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
- Foundations of declarative testing in arbitrary logic programming
- On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
- Title not available (Why is that?)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
- Deductive verification in decidable fragments with Ivy
- Verifying Agents’ Conformance with Multiparty Protocols
- Specification and verification of declarative open interaction models. A logic-based approach
- Abductive logic programming as an effective technology for the static verification of declarative business processes
- Exception diagnosis in multiagent contract executions
- Logics and automata for verification: Expressiveness and decidability issues
- Title not available (Why is that?)
- Where logic and agents meet
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Verification from Declarative Specifications Using Logic Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504672)
