Model-driven Code Checking With Mbeddr

2019 14:09
Synopsis
We show the mbeddr support for the C-leve code verification with the Spin model checker. We create a set of DSLs over Promela, ...

You Might Also Like

First steps with mbeddr 4:02
First Steps With Mbeddr
2016
Model Driven Software Engineering - Computerphile 14:12
Model Driven Software Engineering - Computerphile
2023
BSML-mbeddr: Integrating Semantically Configurable State-Machine Models... 21:26
Bsml-mbeddr: Integrating Semantically Configurable State-mac...
2017
The C to mbeddr-C importer: a first look 9:43
The C To Mbeddr-c Importer: A First Look
2014
Model Driven Develepment on microcontrollers 16:20
Model Driven Develepment On Microcontrollers
2024
Why the mbeddr.com project uses MPS 9:15
Why The Mbeddr.com Project Uses Mps
2015
Model Checking: Analysis of three examples 1:05
Model Checking: Analysis Of Three Examples
2014
Header Importer for mbeddr 15:27
Header Importer For Mbeddr
2016
Why mbeddr.com uses JetBrains MPS 9:01
Why Mbeddr.com Uses Jetbrains Mps
2016
Basic formal verification in mbeddr: checking robustness and assertions 7:37
Basic Formal Verification In Mbeddr: Checking Robustness And...
2016
UPPAAL models of sneak-peek and mitigations 1:15
Uppaal Models Of Sneak-peek And Mitigations
2019
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.