Skip to content
@sr-lab

Software Reliability Lab

Group of researchers interested in formal methods and verification techniques for software reliability

Pinned Loading

  1. GLITCH Public

    GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

    Python 20 6

  2. EcoAndroid Public

    EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.

    Java 4 3

  3. iris-jellyfish Public

    Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list

    Coq 5

  4. hoogle_plus Public

    Forked from TyGuS/hoogle_plus

    Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

    Haskell 3

  5. skeptic-lang Public

    A DSL for asserting password composition policy effectiveness.

    Idris 1

  6. coqpyt Public

    Python client for coq-lsp

    Python 31 3

Repositories

Showing 10 of 45 repositories
  • GLITCH Public

    GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

    Python 20 GPL-3.0 6 22 (1 issue needs help) 0 Updated Jan 31, 2025
  • coqpyt Public

    Python client for coq-lsp

    Python 31 MIT 3 8 0 Updated Oct 18, 2024
  • EcoAndroid Public

    EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.

    Java 4 Apache-2.0 3 1 0 Updated Oct 8, 2024
  • DafnyBench Public Forked from sun-wendy/DafnyBench

    DafnyBench: A Benchmark for Formal Software Verification

    Dafny 1 Apache-2.0 3 0 0 Updated Sep 28, 2024
  • iris-jellyfish Public

    Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list

    Coq 5 GPL-3.0 0 0 0 Updated Sep 15, 2024
  • Python 0 MIT 56 0 0 Updated May 10, 2024
  • gspider Public

    Guess success probability slider, for plotting the evolution of password guessing attacks.

    Idris 2 MIT 0 0 0 Updated Dec 30, 2023
  • TeX 0 MIT 0 0 0 Updated Dec 10, 2023
  • hoogle_plus Public Forked from TyGuS/hoogle_plus

    Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

    Haskell 3 MIT 8 0 0 Updated May 29, 2023
  • GLITCH-ASE22-Replication-Package Public

    Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"

    2 GPL-3.0 0 0 0 Updated Aug 29, 2022