A Formal Verification Method of Compilation Based on C Safety Subset.

Yu Tan Dianfu Ma Lei Qiao

Published in: Wirel. Commun. Mob. Comput. (2021)

Keyphrases

verification method
model checking
temporal logic
formal specification
formal methods
formal model
formal analysis
real time
multiscale
video sequences
formal representation
code generation
subset selection
nuclear power plant
civil aviation