Moshe Emmer

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Linear Temporal Logic

Bounded Model Checking

Top Venues

Publications

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov
EPR-Based Bounded Model Checking at Word Level. IJCAR (2012)
Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov
Encoding industrial hardware verification problems into effectively propositional logic. FMCAD (2010)