Skip to Main content Skip to Navigation
Conference papers

Towards verified programming of embedded devices

Jean-Pierre Talpin 1 Jean-Joseph Marty 1 Shravan Narayan 2 Deian Stefan 2 Rajesh Gupta 2
1 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 UC San Diego - University of California [San Diego]
Keywords : Formal verification Type and proof theory Program and model analysis Hybrid systems
Document type :
Conference papers
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download
https://hal.inria.fr/hal-02193635
Contributor : Jean-Pierre Talpin <>
Submitted on : Wednesday, July 24, 2019 - 3:46:38 PM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM

File

Vignette du document
date19.pdf
Files produced by the author(s)

Identifiers

Collections

UNIV-RENNES1 | CNRS | CENTRALESUPELEC | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | INSA-RENNES

Citation

Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta. Towards verified programming of embedded devices. DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Mar 2019, Florence, Italy. pp.1445-1450, ⟨10.23919/DATE.2019.8715067⟩. ⟨hal-02193635⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

147

Files downloads

786

 

Contact                    Legal Notice                    Personal Data