A Direct Algorithm for Multi-valued Bounded Model Checking
From MaRDI portal
Publication:3540066
DOI10.1007/978-3-540-88387-6_8zbMath1183.68360OpenAlexW1561235555MaRDI 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
Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)
Uses Software
Cites Work
This page was built for publication: A Direct Algorithm for Multi-valued Bounded Model Checking