Report copyright - Black Box Checking Book: Chapter 9 Model Checking Finite state description of a system B. LTL formula. Translate into an automaton P. Check whether L(B)
Please pass captcha verification before submit form
Please pass captcha verification before submit form