CoRR abs/ 1205.6928 (2012) 8. Atig, M.F., Bouajjani, A., Touili, T.: Analyzing asynchronous programs with preemption. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008).
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems: an International Survey. Noyes Data Corporation, USA, 1995. 4. C.A.R.Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall, 1998. 5.
Field Subfield Problem Rating Computer Science Commonsense Reasoning CRS075+6 0.97 Computer Science Commonsense Reasoning CRS076+2 0.97 Computer Science Commonsense Reasoning CRS076+6 1.00 Computer Science Commonsense Reasoning CRS076+7 ...
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022.
Implementation considerations in supervisory control. In B. Caillaud, P. Darondeau, L. Lavagno, and X. Xie, editors, Synthesis and Control of Discrete Event Systems, pages 185–201. Kluwer, 2002. M. Hennessy.
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.