Modular Verification for a Class of PLTL Properties.

Pierre-Alain Masson Hassan Mountassir Jacques Julliand

Published in: IFM (2000)

Keyphrases

machine learning
neural network
model checking
signature verification
algebraic structure
database
real time
databases
data model
probability distribution
multi class
topological properties