Skip to Main content Skip to Navigation
Conference papers

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

Vlad Rusu 1
1 Inria Lille - Nord Europe
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01816805
Contributor : Pal Dream <>
Submitted on : Friday, June 15, 2018 - 4:16:45 PM
Last modification on : Tuesday, June 19, 2018 - 1:18:38 AM

Identifiers

  • HAL Id : hal-01816805, version 1

Collections

INRIA

Citation

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 DC DCterms EndNote

Share

Metrics

Record views

36

 

Contact                    Legal Notice                    Personal Data