Sökning: "Qiao Haiyan"

Hittade 1 avhandling innehållade orden Qiao Haiyan.

  1. 1. Testing and Proving in Dependent Type Theory

    Författare :Qiao Haiyan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER