Towards Formal Verification of a TPM Software Stack.
Yani ZianiNikolai KosmatovFrédéric LoulergueDaniel Gracia PérezTéo BernierPublished in: iFM (2023)
Keyphrases
- formal verification
- model checking
- program slicing
- symbolic model checking
- model checker
- bounded model checking
- software development
- automated verification
- computing platform
- software systems
- software tools
- programming language
- source code
- software developers
- software architecture
- operating system
- computer systems
- open source