Formal Verification Is Not Verifiable: Bouba and Kiki Software

 (alperenkeles.com)

2 points | by matt_d 10 hours ago ago

2 comments

  • hongyong 5 hours ago ago

    [flagged]

  • classified 10 hours ago ago

    Yep, that title should be Gödel 101.