Practical Verification of Stateful Embedded C Code using Finite State Machines and VCC
Vehicles in the 21st-century are becoming more and more dependent on embedded software systems for navigation, system control, monitoring, and entertainment. Manufacturers of cars have also over the years been put under more and more safety regulations and as such, some of these systems are of a saf...
Main Author: | |
---|---|
Format: | Others |
Language: | English |
Published: |
KTH, Skolan för elektroteknik och datavetenskap (EECS)
2020
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-272106 |