Login / Signup
A Verification Tool Implementation using Introspection Mechanism.
Michel Metzger
Frederic Bastien
Frédéric Rousseau
Julie Vachon
El Mostapha Aboulhamid
Published in:
FDL (2006)
Keyphrases
</>
model checking
efficient implementation
mechanism design
learning algorithm
website
clustering algorithm
bayesian networks
expert systems
learning mechanism
analysis tool
implementation details
formal verification