Compositional Verification of Reachability-Logic Properties on Reachability-Logic Specifications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Compositional Verification of Reachability-Logic Properties on Reachability-Logic Specifications

Vlad Rusu
  • Function : Author
  • PersonId : 831452
No file

Dates and versions

hal-01816805 , version 1 (15-06-2018)

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

Share

Gmail Facebook X LinkedIn More