Filter your results
- 3
- 1
- 4
- 4
- 3
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Gamifying program analysisLogic for Programming, Artificial Intelligence, and Reasoning. LPAR 2015. Lecture Notes in Computer Science, Nov 2015, Suva, Fiji. pp.591-605, ⟨10.1007/978-3-662-48899-7_41⟩
Conference papers
cea-01834979v1
|
||
|
State space reduction strategies for model checking concurrent C programs9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Sep 2015, Bucharest, Romania. pp.65-75
Conference papers
cea-01844041v1
|
||
|
A Toolchain For Designing And Implementing Efficient, Flexible And Safety-Critical ApplicationsEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers
hal-02270093v1
|
||
|
A case study on formal verification of the anaxagoros hypervisor paging system with frama-CFMICS 2015 - Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩
Conference papers
cea-01834977v1
|