Verification: Theory and Practice
From MaRDI portal
Publication:5305665
DOI10.1007/b12001zbMath1274.68206OpenAlexW2483649756MaRDI QIDQ5305665
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (5)
Decision Procedures for Region Logic ⋮ Deciding Boolean algebra with Presburger arithmetic ⋮ A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case ⋮ A tableau-based decision procedure for a fragment of set theory with iterated membership ⋮ Combining sets with cardinals
This page was built for publication: Verification: Theory and Practice
