Towards Formal Verification of a TPM Software Stack.
Yani ZianiNikolai KosmatovFrédéric LoulergueDaniel Gracia PérezTéo BernierPublished in: CoRR (2023)
Keyphrases
- formal verification
- model checking
- program slicing
- bounded model checking
- automated verification
- symbolic model checking
- model checker
- software development
- source code
- software design
- software projects
- temporal logic
- software systems
- computing platform
- software developers
- software architecture
- user interface
- functional verification