Destruction: An exact and adaptable verifier for frameworks programming

3363 days ago, 1520 views

PowerPoint PPT Presentation

Teammates. ResearchersJeremy Condit, Shuvendu LahiriInternsShaunak Chatterjee, Brian Hackett, Zvonimir Rakamaric, Ian Wehrman, Thomas Wies. Destruction. Secluded verifier for C programsVerifies every system separatelyRequires contracts: preconditions, postconditions, adjusts provisos, circle invariantsFeaturesAccurate pile modelExpressive annotation languageEfficient checking utilizing SMT solversPrecise

Presentation Transcript

Slide 1

<html> <head><title>403 Forbidden</title></head> <body> <h1>403 Forbidden</h1> <ul> <li>Code: AccessDenied</li> <li>Message: Access Denied</li> <li>RequestId: K81FAK8K8KV8NF5C</li> <li>HostId: 6lwCnLPQlt9FH+bShzOe0El5+6qAMamVAGjas+XeQdXyVR1C21v8n42aU5qTVpPQHFK0eJIFT+rVBzUO0sxmfBlJ1wp9z4nC</li> </ul> <hr/> </body> </html>

SPONSORS