Material (mostly slides) for a graduate course on (formal) software analysis.
☆34Jul 15, 2019Updated 7 years ago
Alternatives and similar repositories for software-analysis
Users that are interested in software-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Here we collect worldwide courses teaching formal methods☆54Jul 5, 2019Updated 7 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- White-box Fairness Testing through Adversarial Sampling☆13Apr 16, 2021Updated 5 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SpongeBugs: Automatically Generating Fix Suggestions for SonarQube / SpotBugs☆23Nov 30, 2021Updated 4 years ago
- ☆21May 31, 2024Updated 2 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- ☆14Mar 4, 2021Updated 5 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- ☆18Dec 27, 2024Updated last year
- Software vulnerabilities data set☆25Mar 4, 2020Updated 6 years ago
- A tool for identifying patch correctness in test-based program repair☆20Feb 17, 2020Updated 6 years ago
- CDCL SAT-solver for GPUs☆13May 5, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming☆27May 21, 2019Updated 7 years ago
- This is a Tamarin model of TLS 1.3☆45Aug 19, 2023Updated 3 years ago
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆26Nov 1, 2018Updated 8 years ago
- DayTrader is benchmark application built around the paradigm of an online stock trading system.☆14Jul 28, 2017Updated 9 years ago
- Tools and standards for conducting and evaluating research in software engineering☆338Oct 26, 2026Updated last week
- A Feedback-driven development plugin for the Eclipse IDE☆15Oct 31, 2019Updated 7 years ago
- DEciding Equivalence Properties in SECurity protocols☆22Mar 1, 2023Updated 3 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 15 years ago
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago
- Semantics of Solidity in K☆29Oct 11, 2019Updated 7 years ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Public Git mirror for the master-level DevOps course given every summer semester at Chalmers and the University of Gothenburg☆19Aug 17, 2022Updated 4 years ago
- ☆39Jun 1, 2023Updated 3 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- SootDiff - Bytecode Comparison Across Different Java Compilers☆19May 24, 2024Updated 2 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Jan 25, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A 2-4h workshop on the Tamarin protocol verifier.☆26Mar 9, 2026Updated 7 months ago
- rgb4 project☆15Feb 7, 2014Updated 12 years ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Prolog specification of TensorFlow layers☆13Jun 12, 2023Updated 3 years ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Anta is Antithesis design system☆18Updated this week