Funder
National Natural Science Foundation of China
Reference40 articles.
1. Model Checking;Edmund,1999
2. Principles of Model Checking;Baier,2008
3. Design and synthesis of synchronization skeletons using branching time temporal logic;Clarke,1982
4. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Program. Lang. Syst.,1986
5. A review of relationships between possibility and probability representations of uncertainty in measurement;Mauris;IEEE Trans. Instrum. Meas.,2013