| Document Date: 2013-10-16 10:39:33 Open Document File Size: 4,19 MBShare Result on Facebook
City Reading / / Company AMD / Creative Commons / / Facility Tactic Library / / IndustryTerm ad-hoc software / proof automation systems / Web search / incorrect software / important theorems using computer proof assistant software / candidate tools / real embedded software / / Person Xavier Leroy / Georges Gonthier / Adam Chlipala / Gerwin / / Position proof assistant for the HOL logic / Proof Assistant / Tagless Interpreter / assistant development framework / Lambda Calculus Interpreter / General / assistant / Interpreter / Coq proof assistant / Isabelle/HOL proof assistant / / ProgrammingLanguage Lambda Calculus / C / ML / / Technology Functional Programming / technology of program verification / / URL http /
SocialTag |