An Enhanced Interface-Based Probabilistic Compositional Verification Approach.

Samir Ouchani Otmane Aït Mohamed Mourad Debbabi

Published in: VECoS (2023)

Keyphrases

user interface
data sets
model checking
visual interface
probabilistic model
user friendly
data mining
graphical interface
probabilistic logic
interface design
bayesian networks
face recognition
information theoretic
conditional probabilities
formal methods
formal verification
database systems
case study