From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
Many verifications of realistic software systems are monolithic, in the sense that they define single global invariants over complete system state. More modular proof techniques promise to support reuse of component proofs and even reduce the effort required to verify one concrete system, just as mo...
Main Author: | Chlipala, Adam |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | en_US |
Published: |
Association for Computing Machinery
2014
|
Online Access: | http://hdl.handle.net/1721.1/91954 https://orcid.org/0000-0001-7085-9417 |
Similar Items
-
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification
by: Chlipala, Adam
Published: (2015) -
A widening approach to multithreaded program verification
by: Kaiser, A, et al.
Published: (2014) -
Implementation of multithreaded calculations in educational WEB applications
by: V. Molchanov
Published: (2019-07-01) -
Modular Deductive Verification of Multiprocessor Hardware Designs
by: Vijayaraghavan, Muralidaran, et al.
Published: (2019) -
Multithreading programming techniques /
by: 372664 Prasad, Shashi
Published: (1997)