A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA Add to Reading List Document Date: 2015-04-16 04:52:13 Open Document File Size: 309,01 KB Share Result on Facebook City CSAIL / / Country Switzerland / United States / / / Facility The library / Mathematical Model Library / EiffelBase2’s complex / / IndustryTerm Realistic software / web interface / verification tools / software verification technology / fundamental software components / software component / verification technology / / Organization U.S. Securities and Exchange Commission / Department of Computer Science / MIT / / Position Private / / Technology load balancing / verification technology / software verification technology / API / / SocialTag Computing Theoretical computer science Logic in computer science Hardware verification languages Formal verification Eiffel Functional verification E Software verification Software engineering

A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USAAdd to Reading List