Login / Signup
Formal Verification of a Fuzzy Rule-Based Classifier Using the Prototype Verification System.
Solomon Gebreyohannes
Ali Karimoddini
Abdollah Homaifar
Albert C. Esterline
Published in:
NAFIPS (2018)
Keyphrases
</>
formal verification
fuzzy rule based classifier
model checking
model checker
automated verification
bounded model checking
symbolic model checking
functional verification
temporal logic
program slicing
open source
knowledge acquisition
orders of magnitude
formal methods