Funder
National Natural Science Foundation of China
Subject
Hardware and Architecture,Software
Reference39 articles.
1. Cardinalities and universal quantifiers for verifying parameterized systems;von Gleissenthall,2016
2. Automated and modular refinement reasoning for concurrent programs;Hawblitzel,2015
3. The civl verifier;Kragl,2021
4. Refinement for structured concurrent programs;Kragl,2020
5. C. Flanagan, P. Godefroid, Dynamic partial-order reduction for model checking software, in: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12–14, 2005, 2005, pp. 110–121, http://dx.doi.org/10.1145/1040305.1040315.