Popular repositories Loading

1. Alloy4PA Alloy4PA Public

   This tool automatically analyzes Alloy models to generate modal abstractions for manual validation

   Alloy 2

2. jgentest jgentest Public

   Plugin para generar Test automáticamente usando concolic execution

   Java 1

3. predicate-abstraction-for-smart-contract-validation predicate-abstraction-for-smart-contract-validation Public

   This repository includes the benchmark of the work "Predicate Abstractions for Smart Contract Validation" presented at MODELS 2022

   Alloy 1 1

4. PASCo PASCo Public

   Predicate Abstraction for Smart Contracts tool

   Solidity 1

5. laboratorio-ungs laboratorio-ungs Public

   Automatically exported from code.google.com/p/laboratorio-ungs

   Java

6. page-downloader-ungs page-downloader-ungs Public

   Automatically exported from code.google.com/p/page-downloader-ungs

   HTML