Fast Mutex Lamport
Zing: Exploiting Program Structure for Model Checking Concurrent Software Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research Yichen.
Fachbereich Informatik SVS – Sicherheit in Verteilten Systemen Universität Hamburg Preventing Buffer Overflows (and more) An overview of scientific approaches.
2. an adaptive programming model for fault tolerant distributed computing
PROVING THINGS ABOUT CONCURRENT PROGRAMS Lecture 24 – CS2110 – Spring 2013.
- ALBERT-LUDWIGS UNIVERSITÄT FREIBURG Towards component based design of hybrid systems W.Damm 1, H. Dierks 3, J. Oehlerking 4, A. Pnueli 2.
CLF: A Concurrent Logical Framework David Walker Princeton (with I. Cervesato, F. Pfenning, K. Watkins)
More on PSL some examples, some pitfalls. start idlep1p2p3 continue done cancel FSM.
Run-Time Guarantees for Real-Time Systems Reinhard Wilhelm Saarbrücken.
CS711: Reference Monitors Part 1: OS & SFI Greg Morrisett Cornell University.
More on PSL
Hybrid Program Analysis for Error Detection