CTRL K

CTRL K

Setup
Usage
Constructs
Function Contracts
Coverage Analysis
Config
GitHub Action
C and C++
Solidity
- Solidity
Python
- Python Pytest Test Case Generation
- Random OM
Development
Theory
- Counterexample Guided Abstract Refinement Integer vs Bit-Vector Encoding
- Linear Temporal Logic

Development

This directory contains information about developing ESBMC.