Search for dissertations about: "Qiao Haiyan"

Found 1 swedish dissertation containing the words Qiao Haiyan.

2. 1. Testing and Proving in Dependent Type Theory

   Author : Qiao Haiyan; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. READ MORE