Vassil Todorov
Publications
Publications
|
|
Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square RootModeling and Analysis of Information Systems, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩ |
|
|
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOTSystem Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩ |
|
|
Design by contract formal verification for automotive embedded software robustnessERTS 2024, SEE and 3AF associations, Jun 2024, Toulouse, France |
|
|
Specification Quality Metrics Based on Mutation and Inductive Incremental Model CheckingNASA Formal Methods Symposium, May 2020, Moffett Field, United States. pp.187-203, ⟨10.1007/978-3-030-55754-6_11⟩ |
|
|
Improved Invariant Generation for Industrial Software Model Checking of Time Properties2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩ |
|
|
Formal verification of automotive embedded softwareFORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩ |
|
|
Automotive embedded software design using formal methodsModeling and Simulation. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG026⟩ |