Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems

DOI10.1016/j.entcs.2009.02.024zbMath1339.68192OpenAlexW2081145285MaRDI QIDQ2810964

Viorica Sofronie-Stokkermans

Publication date: 6 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.024

zbMATH Keywords

sheavesgeometric logicmodular verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Presheaves and sheaves in general topology (54B40)

Related Items

Exploring Theories with a Model-Finding Assistant

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• Combinatorics on traces
• Sheaves in geometry and logic: a first introduction to topos theory
• Topological deformation of higher dimensional automata
• Algebraic topology and concurrency
• Sheaf spaces and sheaves of universal algebras
• Applications of Hierarchical Reasoning in the Verification of Complex Systems
• The topological structure of asynchronous computability
• Global subdirect products
• Sheaf semantics for concurrent interacting objects
• Higher dimensional automata revisited