Report copyright - Model-Checking Event Structuresmadhavan/presentations/update09/update09-model... · Logics and verification Temporal logic Used to describe properties to be verified Comes in two
Please pass captcha verification before submit form
Please pass captcha verification before submit form