Polynomial modular product verification and its implications.

Pascal Giorgi Bruno Grenet Armelle Perret du Cray

Published in: J. Symb. Comput. (2023)

Keyphrases

life cycle
low order
model checking
concurrent systems
artificial intelligence
real time
formal verification
neural network
bayesian networks
face verification
formal methods
product quality
data sets
product line
verification method
modular structure
database