Statistics
Publications
1
Citations
15
H-Index
1
Active since
2016
Affiliations
Russian Academy of Sciences(Current)
Vitaly Mordan is an author at Russian Academy of Sciences specializing in automated reasoning, formal verification, and system software.
Publications per year
2016–2016
1
1
On-the-fly decomposition of specifications in software model checking
Sven Apel, Dirk Beyer, Vitaly Mordan et al. · 2016 · 15 citations
1–1 of 1