Perracotta
From MaRDI portal
Cited in
(12)- Protocol Inference Using Static Path Profiles
- Mining quantified temporal rules: formalism, algorithms, and evaluation
- Symbolic automata for representing big code
- marga
- ADABU
- SMArTIC
- Merlin
- F4F
- Texada
- Automated inference of library specifications for source-sink property verification
- PPTLMiner
- Temporal logic specification mining of programs
This page was built for software: Perracotta
