×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [liveness properties]
ECDAR Composition of Real-Time Specifications — Revisited Kim Guldstrand Larsen Aalborg University, DENMARK
223 views
Agenda for a Science of Security
27 views
Dissecting Self-* Properties Andrew Berns & Sukumar Ghosh University of Iowa
222 views
Tuning SAT-checkers for Bounded Model-Checking
41 views
Model Checking: An introduction & overview
28 views
Dissecting Self-* Properties
52 views
Formal Methods in System Design, Lec 3
45 views
Chapter 6 Wenbing Zhao Department of Electrical and Computer Engineering Cleveland State University
[email protected]
Building Dependable Distributed Systems
219 views
Jan 2003: Slammer Worm Exploits Buffer Overflow August, 2004: North American Blackout Caused by Race Condition
217 views
Notes
3 views
Software Architectures for Correct Components Assembly Paola Inverardi Dipartimento di Informatica Universita’ dell’Aquila
214 views
Abstraction of programs manipulating pointers using modal logics
46 views
< Prev
Next >