Conference Proceedings

Teaching an Old Dog new tricks: The drudges of the interactive prover in atelier B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2018) 10817 LNCS 415-419
DOI: 10.1007/978-3-319-91271-4_33
2Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This paper presents an evolution of an industrial proof support framework that integrates state-of-the-art technologies without compromising the existing tool qualification status. Third-party provers produce proof rules that may be applied by the legacy system and verified using a certified approach. This approach has been implemented in Atelier B, a formal-methods based IDE for the development of software components and for the modeling of systems.

Cite

CITATION STYLE

APA

Burdy, L., & Deharbe, D. (2018). Teaching an Old Dog new tricks: The drudges of the interactive prover in atelier B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10817 LNCS, pp. 415–419). Springer Verlag. https://doi.org/10.1007/978-3-319-91271-4_33

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free