Conference Papers
Year : 2018
Pal Dream : Connect in order to contact the contributor
https://inria.hal.science/hal-01816805
Submitted on : Friday, June 15, 2018-4:16:45 PM
Last modification on : Thursday, February 15, 2024-3:31:44 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