Collaborated with:S.Apel D.B.0001 V.S.Mutilin A.Stahlbauer
Talks about:decomposit (1) softwar (1) specif (1) model (1) check (1) fli (1)
Person: Vitaly O. Mordan
DBLP: Mordan:Vitaly_O=
Contributed to:
2016Wrote 1 papers:
- FSE-2016-Apel0MMS #composition #model checking #on the fly #specification
- On-the-fly decomposition of specifications in software model checking (SA, DB0, VOM, VSM, AS), pp. 349–361.