Verification of ORM-based Controllers by Summary Inference.

Geetam Chawla Navneet Aman Raghavan Komondoor Ashish Bokil Nilesh Kharat

Published in: ICSE (2022)

Keyphrases

conceptual modeling
control system
model checking
face verification
inference process
verification method
general purpose
web applications
belief networks
text summarization
inference mechanism
case study
bayesian networks
mobile robot
bayesian inference