Conference paper Open Access
Logic against Ghosts: Comparison of Two Proof Approaches for a List Module
Blanchard, Allan; Kosmatov, Nikolai; Loulergue, Frédéric
GeoJSON Export
{
"type": "FeatureCollection",
"features": []
}
208
92
views
downloads
| Views | 208 |
| Downloads | 92 |
| Data volume | 69.0 MB |
| Unique views | 199 |
| Unique downloads | 87 |
Indexed in
- Publication date:
- April 16, 2019
- DOI:
-
- Keyword(s):
- deductive verification linked lists formal specification operating system internet of things Frama-C
- Grants:
-
European Commission:
- VESSEDIA - VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS (731453)
- Meeting:
- The 34th ACM/SIGAPP Symposium On Applied Computing (SAC 2019), Limassol, Cyprus, 08-12 April 2019
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International