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...
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | প্রবন্ধ |
| ভাষা: | en_US |
| প্রকাশিত: |
Association for Computing Machinery (ACM)
2015
|
| অনলাইন ব্যবহার করুন: | http://hdl.handle.net/1721.1/99930 https://orcid.org/0000-0001-7085-9417 |