Login / Signup
Vitaly O. Mordan
ORCID
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 3
Top Topics
Deterministic Finite Automaton
User Requirements
Epistemic Logic
Reactive Systems
Top Venues
Ershov Memorial Conference
SIGSOFT FSE
Program. Comput. Softw.
</>
Publications
</>
Sven Apel
,
Dirk Beyer
,
Vitaly O. Mordan
,
Vadim S. Mutilin
,
Andreas Stahlbauer
On-the-fly decomposition of specifications in software model checking.
SIGSOFT FSE
(2016)
Vitaly O. Mordan
,
Vadim S. Mutilin
Checking several requirements at once by CEGAR.
Program. Comput. Softw.
42 (4) (2016)
Vitaly O. Mordan
,
Vadim S. Mutilin
Checking Several Requirements at once by CEGAR.
Ershov Memorial Conference
(2015)