A Direct Algorithm for Multi-valued Bounded Model Checking
From MaRDI portal
Publication:3540066
DOI10.1007/978-3-540-88387-6_8zbMath1183.68360MaRDI QIDQ3540066
Jefferson O. Andrade, Yukiyoshi Kameyama
Publication date: 20 November 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_8
68Q60: Specification and verification (program logics, model checking, etc.)
03B50: Many-valued logic
Uses Software
Cites Work