Formal Verification through Combinatorial Topology: the CAS-Extended Model.

Christina L. Peterson Damian Dechev

Published in: PMAM@PPoPP (2019)

Keyphrases

formal verification
mathematical model
management system
computational model
orders of magnitude
neural network
probabilistic model
statistical model
experimental data
high level
objective function
model checking
conceptual model
simulation model
model checker