Intelligent Modeling and Verification 2014

  title={Intelligent Modeling and Verification 2014},
  author={Guiming Luo and Xiaoyu Song and Xiaojing Yang and Krishnaiyan Thulasiraman},
  journal={J. Appl. Math.},
ion and find counterexamples. The paper entitled “Terminal satisfiability in GSTE” (Y. Xu et al.) gives a sixtuple definition and presents a new algorithm for model checking terminal satisfiability. The paper entitled “Towards light-weight probabilistic model checking” (S. Konur) presents a methodology to facilitate probabilistic model checking for nonexperts. A machine closed theorem proof of TLA+ in the theorem proving system Coq is presented in “Formal proof of a machine closed theorem in… 
1 Citations