Login / Signup
Bence Czipó
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Modulo Theories
Face Verification
Answer Set Programming
Abstraction Hierarchy
Top Venues
FESCA@ETAPS
</>
Publications
</>
Bence Czipó
,
Ákos Hajdu
,
Tamás Tóth
,
István Majzik
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.
FESCA@ETAPS
(2017)