CONCUR 2003 - Concurrency Theory
From MaRDI portal
Publication:5900571
DOI10.1007/b11938zbMath1274.68189OpenAlexW105220891MaRDI QIDQ5900571
Arie Gurfinkel, Marsha Chechik
Publication date: 30 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11938
Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (13)
Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ Bonsai: Cutting Models Down to Size ⋮ Data structures for symbolic multi-valued model-checking ⋮ Temporal Specifications with Accumulative Values ⋮ Model checking computation tree logic over finite lattices ⋮ Multi-valued model checking games ⋮ Model checking fuzzy computation tree logic ⋮ A Weighted μ-Calculus on Words ⋮ TOrPEDO : witnessing model correctness with topological proofs ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Multi-valued Verification of Strategic Ability ⋮ Co-Algebraic Models for Quantitative Spatial Logics ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement
This page was built for publication: CONCUR 2003 - Concurrency Theory
