Perracotta
From MaRDI portal
Software:24021
No author found.
Related Items (5)
Symbolic automata for representing big code ⋮ Automated Inference of Library Specifications for Source-Sink Property Verification ⋮ Mining quantified temporal rules: formalism, algorithms, and evaluation ⋮ Protocol Inference Using Static Path Profiles ⋮ Temporal logic specification mining of programs
This page was built for software: Perracotta
