Software Reliability Lab
Group of researchers interested in formal methods and verification techniques for software reliability
- 5 followers
- Spread across the globe
- https://sr-lab.github.io
Pinned Loading
Repositories
Showing 10 of 44 repositories
- iris-jellyfish Public
Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list
sr-lab/iris-jellyfish’s past year of commit activity - sr-lab.github.io Public
sr-lab/sr-lab.github.io’s past year of commit activity - hoogle_plus Public Forked from TyGuS/hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
sr-lab/hoogle_plus’s past year of commit activity - GLITCH-ASE22-Replication-Package Public
Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"
sr-lab/GLITCH-ASE22-Replication-Package’s past year of commit activity - smartbugs Public Forked from smartbugs/smartbugs
SmartBugs: A Framework to Analyze Solidity Smart Contracts
sr-lab/smartbugs’s past year of commit activity - qsharp-fuzz Public
sr-lab/qsharp-fuzz’s past year of commit activity