Login / Signup
Vassil Todorov
ORCID
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 3
Top Topics
Formal Verification
Linear Temporal Logic
Model Checking
Embedded Software
Top Venues
FormaliSE@ICSE
NFM
QRS
</>
Publications
</>
Vassil Todorov
,
Safouan Taha
,
Frédéric Boulanger
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.
NFM
(2020)
Vassil Todorov
,
Safouan Taha
,
Frédéric Boulanger
,
Armando Hernandez
Improved Invariant Generation for Industrial Software Model Checking of Time Properties.
QRS
(2019)
Vassil Todorov
,
Frédéric Boulanger
,
Safouan Taha
Formal verification of automotive embedded software.
FormaliSE@ICSE
(2018)