• Title of article

    Verifying Haskell programs by combining testing, model checking and interactive theorem proving

  • Author/Authors

    Peter Dybjer، نويسنده , , Qiao Haiyan، نويسنده , , Makoto Takeyama، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2004
  • Pages
    15
  • From page
    1011
  • To page
    1025
  • Keywords
    Program verification , Random testing , Proof-assistants , Type theory , binary decision diagrams , Haskell
  • Journal title
    Information and Software Technology
  • Serial Year
    2004
  • Journal title
    Information and Software Technology
  • Record number

    135094

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=135094