First Page | Document Content | |
---|---|---|
Date: 2017-10-17 05:46:31 | Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College LoAdd to Reading ListSource URL: srg.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 243,88 KBShare Document on Facebook |