Tableaux and Model Checking for Memory Logics
From MaRDI portal
Publication:3648720
DOI10.1007/978-3-642-02716-1_5zbMath1260.03036OpenAlexW1597914073MaRDI QIDQ3648720
Sergio Mera, Diego Figueira, Carlos Areces, Daniel Gorín
Publication date: 1 December 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_5
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)
Related Items (1)
This page was built for publication: Tableaux and Model Checking for Memory Logics
