Program semantics and verification technique for AI-centred programs

DOI10.1007/978-3-031-27481-7_27MaRDI QIDQ6174548zbMATH OpenFDO

Authors Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli

Publication date 17 August 2023

Published in Formal Methods (Search for Journal in Brave)

Full work available at URL https://openresearch.surrey.ac.uk/view/delivery/44SUR_INST/12173360500002346/13173360490002346

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• Semantics and program verification
• scientific article; zbMATH DE number 1005001
• On automated program construction and verification
• Automated program verification
• scientific article; zbMATH DE number 193735
• From program verification to program synthesis
• scientific article; zbMATH DE number 868104
• scientific article; zbMATH DE number 4024753

Cites work

• scientific article; zbMATH DE number 5734950 (Why is no real title available?)
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5051652 (Why is no real title available?)
• A computationally grounded logic of visibility, perception, and knowledge
• Cheryl's birthday
• Computer Aided Verification
• Dynamic epistemic logic
• Handbook of modal logic
• Knowledge-based programs
• Logics of public communications
• Modal logic
• Playing cards with Hintikka: an introduction to dynamic epistemic logic
• Program models and semi-public environments
• Symbolic Model Checking for Dynamic Epistemic Logic
• The Secret Art of Computer Programming
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• The logic of public announcements, common knowledge, and private suspicions
• VERICS 2007 -- a model checker for knowledgee and real-time

Cited in

(1)

• An SMT-based approach to the verification of knowledge-based programs

This page was built for publication: Program semantics and verification technique for AI-centred programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6174548)