Stateless and Rule-Based Verification For Compliance Checking Applications

Mohammad Reza Besharati, Mohammad Izadi, Ehsaneddin Asgari

Underlying computational model has an important role in any computation. The state and transition (such as in automata) and rule and value (such as in Lisp and logic programming) a…