DejaVu

swMATH46090MaRDI QIDQ5972847FDOQ5972847

Author name not available (Why is that?)

Official website: https://github.com/havelund/dejavu

Source code repository: https://github.com/havelund/dejavu

Described by source

• First-order temporal logic monitoring with BDDs

Cited In (13)

• VeriMon
• LOLA
• Almost event-rate independent monitoring
• PCRE
• Synthia
• Java-MOP
• MOP
• Montre
• VeriPhy
• BluSTL
• aerial
• MonPoly
• TeSSLa

This page was built for software: DejaVu