Tricera: Verifying C Programs Using the Theory of Heaps.

Zafer Esen Philipp Rümmer

Published in: FMCAD (2022)

Keyphrases

model checking
theoretical framework
theoretical basis
artificial intelligence
three dimensional
database
machine learning
search engine
computational model
computer programs
automatic programming