Exact Stimuli Minimization for Simulation-Based Verification.

Sebastian Pointner Andreas Grimmer Robert Wille

Published in: ISCAS (2019)

Keyphrases

model checking
objective function
face verification
artificial neural networks
formal verification
database
probabilistic model
exact solution
machine learning
information retrieval
genetic algorithm
information systems
petri net
temporal logic
formal analysis