Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.
Dilian GurovChristian LidströmMattias NybergJonas WestmanPublished in: FMICS-AVoCS (2017)
Keyphrases
- safety critical
- embedded systems
- functional verification
- hardware software
- safety analysis
- fault tolerant
- low cost
- agent architecture
- source code
- object oriented
- formal methods
- regulatory requirements
- software systems
- formal verification
- machine learning
- adaptive systems
- real time
- smart home
- field programmable gate array
- distributed systems