Sökning: "Qiao Haiyan"
Hittade 1 avhandling innehållade orden Qiao Haiyan.
1. Testing and Proving in Dependent Type Theory
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
Resultatsidor:
1