https://github.com/clarus/certified-web-servers

A study about certified web servers.
https://github.com/clarus/certified-web-servers

Last synced: about 2 months ago
JSON representation

A study about certified web servers.

• Host: GitHub
• URL: https://github.com/clarus/certified-web-servers
• Owner: clarus
• License: mit
• Created: 2016-07-14T16:00:24.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2016-07-14T16:50:00.000Z (almost 9 years ago)
• Last Synced: 2025-02-16T14:25:20.568Z (4 months ago)
• Size: 1000 Bytes
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Certified web servers

> A study about certified web servers.

## Parsing

###  TRX: A Formally Verified Parser Interpreter

https://arxiv.org/pdf/1105.2576.pdf

### Formal verification of a realistic compiler

http://gallium.inria.fr/~xleroy/publi/compcert-CACM.pdf

### Verified, Executable Parsing

http://users.cecs.anu.edu.au/~aditi/esop09_submission_16.pdf

### Total Parser Combinators

http://www.cse.chalmers.se/~nad/publications/danielsson-parser-combinators.html