| Title: |
Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners |
| Article URLs: |
|
| Alternative Article URLs: |
https://www.springerprofessional.de/en/an-integrated-environment-for-spin-based-c-code-checking/16489698 |
| Authors: |
Daniel Ratiu |
-
Siemens Corporate Technology
|
| Andreas Ulrich |
-
Siemens Corporate Technology
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/spin/RatiuU17
|
| Author Comments: |
The MDCC approach is now part of the mbeddr release. The mbeddr tutorial contains 10 lessons on how to use MDCC from mbeddr. |