Login / Signup
Jefferson O. Andrade
Publication Activity (10 Years)
Years Active: 2008-2012
Publications (10 Years): 0
Top Topics
Temporal Logic
Single Valued
Normal Form
Bounded Model Checking
Top Venues
IEICE Trans. Inf. Syst.
</>
Publications
</>
Jefferson O. Andrade
,
Yukiyoshi Kameyama
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras.
IEICE Trans. Inf. Syst.
(5) (2012)
Jefferson O. Andrade
,
Yukiyoshi Kameyama
A Direct Algorithm for Multi-valued Bounded Model Checking.
ATVA
(2008)