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

DOI10.1145/3700150MaRDI QIDQ7027872zbMATH OpenFDO

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

Publication date 14 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

model checkingepistemic logicprogram semanticsepistemic predicate transformers

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

This page was built for publication: An SMT-based approach to the verification of knowledge-based programs

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