Stateless and Rule-Based Verification For Compliance Checking Applications.

MohammadReza Besharati Mohammad Izadi Ehsaneddin Asgari

Published in: CoRR (2022)

Keyphrases

verification method
data driven
model checking
expert systems
temporal logic
formal verification
database
consistency checking
neural network
knowledge base
knowledge representation
rule base
formal analysis
test generation
asynchronous circuits
concurrent systems