Compositional Verification of Reachability-Logic Properties on Reachability-Logic Specifications - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1)
1
Vlad Rusu
  • Function : Author
  • PersonId : 831452
Inria Lille - Nord Europe

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

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

Not 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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INRIA INRIA2
19 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More