Perracotta

swMATH12087MaRDI QIDQ24021FDOQ24021

Author name not available (Why is that?)

Cited In (5)

• Automated Inference of Library Specifications for Source-Sink Property Verification
• Protocol Inference Using Static Path Profiles
• Mining quantified temporal rules: formalism, algorithms, and evaluation
• Symbolic automata for representing big code
• Temporal logic specification mining of programs

This page was built for software: Perracotta