publication . Conference object . Part of book or chapter of book . Preprint . 2019

MetAcsl: Specification and Verification of High-Level Properties

Robles, Virgile; Kosmatov, Nikolai; Prevosto, Virgile; Rilling, Louis; Le Gall, Pascale;
Open Access English
  • Published: 08 Apr 2019
  • Publisher: HAL CCSD
  • Country: France
Abstract
Comment: 7 pages, slightly extended camera-ready version
Persistent Identifiers
Subjects
free text keywords: Frama-C, meta-properties, deductive verification, formal specification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Computer Science - Software Engineering, Computer Science - Cryptography and Security, Software modules, Formal specification, Programming language, computer.software_genre, computer, Plug-in, Computer science, Modular design, business.industry, business, Invariant (mathematics), Predicate (grammar)
Funded by
EC| VESSEDIA
Project
VESSEDIA
VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS
  • Funder: European Commission (EC)
  • Project Code: 731453
  • Funding stream: H2020 | RIA
Validated by funder
Open Access
ZENODO
Conference object . 2019
Provider: ZENODO
Open Access
https://link.springer.com/cont...
Part of book or chapter of book
Provider: UnpayWall
Open Access
http://link.springer.com/conte...
Part of book or chapter of book . 2019
Provider: Crossref

[1] F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski. “Frama-C: A software analysis perspective”. In: FAOC (2015).

[2] M. Pavlova, G. Barthe, L. Burdy, M. Huisman, and J.-L. Lanet. “Enforcing High-Level Security Properties for Applets”. In: CARDIS. 2004.

Abstract
Comment: 7 pages, slightly extended camera-ready version
Persistent Identifiers
Subjects
free text keywords: Frama-C, meta-properties, deductive verification, formal specification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Computer Science - Software Engineering, Computer Science - Cryptography and Security, Software modules, Formal specification, Programming language, computer.software_genre, computer, Plug-in, Computer science, Modular design, business.industry, business, Invariant (mathematics), Predicate (grammar)
Funded by
EC| VESSEDIA
Project
VESSEDIA
VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS
  • Funder: European Commission (EC)
  • Project Code: 731453
  • Funding stream: H2020 | RIA
Validated by funder
Open Access
ZENODO
Conference object . 2019
Provider: ZENODO
Open Access
https://link.springer.com/cont...
Part of book or chapter of book
Provider: UnpayWall
Open Access
http://link.springer.com/conte...
Part of book or chapter of book . 2019
Provider: Crossref

[1] F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski. “Frama-C: A software analysis perspective”. In: FAOC (2015).

[2] M. Pavlova, G. Barthe, L. Burdy, M. Huisman, and J.-L. Lanet. “Enforcing High-Level Security Properties for Applets”. In: CARDIS. 2004.

Any information missing or wrong?Report an Issue