SOFTWARE AND SYSTEMS ENGINEERING | FRAMA C

SOFTWARE AND SYSTEMS ENGINEERING | FRAMA C

Август 2021 г. CACM: упорный поиск программ на языке C без ошибок: платформа анализа программного обеспечения Frama-CПодробнее

Август 2021 г. CACM: упорный поиск программ на языке C без ошибок: платформа анализа программного обеспечения Frama-C

Frama-C PresentationПодробнее

Frama-C Presentation

Frama-C Final PresentationПодробнее

Frama-C Final Presentation

Lessons Learned from Verifying Actual C Code with Frama-CПодробнее

Lessons Learned from Verifying Actual C Code with Frama-C

how to use framaПодробнее

how to use frama

Frama-C Tutorial and Tool DemonstrationПодробнее

Frama-C Tutorial and Tool Demonstration

Combined static and dynamic analyses in Frama-C (Nikolai Kosmatov, CEA, France)Подробнее

Combined static and dynamic analyses in Frama-C (Nikolai Kosmatov, CEA, France)

Systems Engineering French version English subtitlesПодробнее

Systems Engineering French version English subtitles

ACSL IN FRAMA-CПодробнее

ACSL IN FRAMA-C

Project Lego (Uppaal + FramaC)Подробнее

Project Lego (Uppaal + FramaC)

[FTSCS] Q: A Sound Verification Framework for Statecharts and Their ImplementationsПодробнее

[FTSCS] Q: A Sound Verification Framework for Statecharts and Their Implementations

FRAMA-CПодробнее

FRAMA-C

SOFTWARE AND SYSTEMS ENGINEERING | PapyrusПодробнее

SOFTWARE AND SYSTEMS ENGINEERING | Papyrus

OCaml Meeting 2011 - Developing Frama-C Plug-ins in OCaml, by Julien SignolesПодробнее

OCaml Meeting 2011 - Developing Frama-C Plug-ins in OCaml, by Julien Signoles

Frama-C AtelierB interactionПодробнее

Frama-C AtelierB interaction