Papers:
- ASTREE project: Proving the Absence of Runtime Errors [PDF]
- Static Analysis and Verification of Aerospace Software by Abstract Interpretation [PDF]
- NASA : Monitoring Distributed Real-Time Systems: A Survey and Future Directions
- OOPSLA papers:
- Revisiting some chapters in Compilers: Principles, Techniques, and Tools
- Neal Stephenson : Snow Crash (finally!)
No comments:
Post a Comment