Position paper: the science of deep specification

Position paper: the science of deep specification

We introduce our efforts within the project ‘The science of deep specification’ to work out the key formal underpinnings of industrial-scale formal specifications of software and hardware components, anticipating a world where large verified systems are routinely built out of smaller verified compon...

Full description

Bibliographic Details
Main Authors: Appel, Andrew W., Beringer, Lennart, Chlipala, Adam, Pierce, Benjamin C., Shao, Zhong, Weirich, Stephanie, Zdancewic, Steve
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: The Royal Society 2019
Online Access:https://hdl.handle.net/1721.1/122621

Internet

https://hdl.handle.net/1721.1/122621

Similar Items