len-bass / dosebookLinks
☆26Updated last month
Alternatives and similar repositories for dosebook
Users that are interested in dosebook are comparing it to the libraries listed below
Sorting:
- materials about and for the classes I teach☆16Updated 4 years ago
- course material for six week architecture design course☆50Updated last year
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated last year
- ☆13Updated 5 years ago
- Tool to visualize executions of multi-threaded systems☆13Updated 5 years ago
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆138Updated last year
- Universal CPS Environment for Federation☆19Updated 3 years ago
- Intel® Software Guard Extensions (Intel® SGX) Samples☆11Updated 8 years ago
- A reading/viewing list about the theory and practice of performance engineering☆31Updated 5 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- Educational database system developed at Georgia Tech☆36Updated 2 weeks ago
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆35Updated last year
- A collection of resources about databases and related topics☆97Updated 3 years ago
- Dynamic detection of likely invariants☆237Updated last week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- VeriBetrKV OSDI'20 artifact☆12Updated 5 years ago
- Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".☆10Updated 6 years ago
- Reading the linearizability paper with TLA+☆50Updated 3 years ago
- Enterprise Architecture Bootcamp - Building a digital transformation technology road map☆13Updated 2 years ago
- ☆14Updated 5 years ago
- Repository of the DevOps course at KTH Royal Institute of Technology DD2482☆204Updated 3 weeks ago
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆73Updated 4 months ago
- Azure Cosmos TLA+ specifications☆286Updated last year
- A testcase generation tool for Persistent Memory Programs.☆15Updated 4 years ago
- Static Analyzer and Verifier☆48Updated last year
- ☆97Updated 4 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆38Updated 2 years ago
- ☆31Updated last year
- List of bugs found in distributed protocols☆203Updated last year
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆77Updated 3 years ago