| Document Date: 2014-09-17 05:19:05 Open Document File Size: 268,71 KBShare Result on Facebook
Company Creative Commons / / IndustryTerm embedded software systems / verification tools / embedded software / software assurance / software tool / formal verification tools / code generation algorithms / sound source-level verification tool / lifecritical and mission-critical software / delicate algorithms / hardware devices / safety-critical applications / / MusicAlbum I/O / / Organization CompCert C. Chapter / / Person Xavier Leroy / / Position Stanford LCF proof assistant / Translator / mathematician / interpreter / reference interpreter / Coq proof assistant / / Product CompCert / / ProgrammingLanguage ANSI C / C / / Technology operating systems / ANSI C / code generation algorithms / / URL http /
SocialTag |