Subject
General Computer Science,Theoretical Computer Science
Reference147 articles.
1. Monitoring events that carry data;Havelund,2018
2. A brief account of runtime verification;Leucker;J. Log. Algebraic Methods Program,2009
3. A survey of software testing techniques;Pezze;ACM Comput. Surv.,2008
4. E.M. Clarke, O. Grumberg, D.E. Long, Model checking, in: M. Broy (Ed.), Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany, 1996, pp. 305–349.
5. Interactive theorem proving and program development - Coq’art: The calculus of inductive constructions;Bertot,2004