Infer

swMATH32371MaRDI QIDQ44082FDOQ44082

Official website https://fbinfer.com

Source code repository https://github.com/facebook/infer

Cited in

(3)

• Automated mutual explicit induction proof in separation logic
• RxJava
• Selective monitoring

This page was built for software: Infer