×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [safety property]
Fast Mutex Lamport
50 views
Zing: Exploiting Program Structure for Model Checking Concurrent Software Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research Yichen
216 views
Fachbereich Informatik SVS – Sicherheit in Verteilten Systemen Universität Hamburg Preventing Buffer Overflows (and more) An overview of scientific approaches
214 views
2. an adaptive programming model for fault tolerant distributed computing
629 views
PROVING THINGS ABOUT CONCURRENT PROGRAMS Lecture 24 – CS2110 – Spring 2013
215 views
- ALBERT-LUDWIGS UNIVERSITÄT FREIBURG Towards component based design of hybrid systems W.Damm 1, H. Dierks 3, J. Oehlerking 4, A. Pnueli 2
217 views
CLF: A Concurrent Logical Framework David Walker Princeton (with I. Cervesato, F. Pfenning, K. Watkins)
221 views
More on PSL some examples, some pitfalls. start idlep1p2p3 continue done cancel FSM
227 views
Run-Time Guarantees for Real-Time Systems Reinhard Wilhelm Saarbrücken
222 views
CS711: Reference Monitors Part 1: OS & SFI Greg Morrisett Cornell University
221 views
More on PSL
37 views
Hybrid Program Analysis for Error Detection
32 views
Next >