Program semantics and verification technique for AI-centred programs

DOI10.1007/978-3-031-27481-7_27zbMath1529.68083MaRDI QIDQ6174548

Vadim Malvone, Fortunat Rajaona, Francesco Belardinelli, Ioana Boureanu

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

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

Cites Work

• Dynamic epistemic logic
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Logics of public communications
• A computationally grounded logic of visibility, perception, and knowledge
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• The Secret Art of Computer Programming
• Symbolic Model Checking for Dynamic Epistemic Logic
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• Program models and semi-public environments
• Computer Aided Verification
• Knowledge-based programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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