Funder
National Natural Science Foundation of China
Natural Science Foundation of Chongqing Municipality
Southwest University
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference33 articles.
1. Verification of Sequential and Concurrent Programs;Apt,2009
2. Principles of Model Checking;Baier,2008
3. An axiomatic basis for computer programming;Hoare;Commun. ACM,1969
4. Dynamic Logic for Java;Beckert,2016
5. A propositional dynamic logic for CCS programs;Benevides,2008