Conference Papers
Year :
Pal Dream : Connect in order to contact the contributor
https://hal.inria.fr/hal-01816805
Submitted on : Friday, June 15, 2018-4:16:45 PM
Last modification on : Friday, February 4, 2022-3:18:24 AM
Dates and versions
Identifiers
- HAL Id : hal-01816805 , version 1
Cite
Vlad Rusu. Compositional Verification of Reachability-Logic Properties on Reachability-Logic Specifications. FROM 2018 - Working Formal Methods Symposium 2018, Jun 2018, Iasi, Romania. ⟨hal-01816805⟩
19
View
0
Download