Computer Aided Verification
From MaRDI portal
Publication:5312932
DOI10.1007/b98490zbMath1103.68628OpenAlexW4298302743MaRDI QIDQ5312932
Sanjit A. Seshia, Shuvendu K. Lahiri
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Related Items
Deciding Boolean algebra with Presburger arithmetic ⋮ A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures ⋮ Linear Arithmetic with Stars ⋮ Formal reliability analysis of redundancy architectures ⋮ Parallelizing SMT solving: lazy decomposition and conciliation ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ Editorial: Symbolic computation and satisfiability checking ⋮ Combining Theories with Shared Set Operations
Uses Software
This page was built for publication: Computer Aided Verification
