Towards a Basic Theory for Partial Differentiation in the Prototype Verification System.

Andrea Domenici

Published in: FSEN (2023)

Keyphrases

theoretical basis
theoretical framework
model checking
search engine
data sets
image processing
computational model
theoretical foundation
information theory
test bed
conceptual framework
formal analysis
general theory