DejaVu

MaRDI QIDQ5972847swMATHFDO

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
• PCRE
• Synthia
• Java-MOP
• MOP
• Montre
• VeriPhy
• BluSTL
• aerial
• MonPoly
• TeSSLa
• Almost event-rate independent monitoring

This page was built for software: DejaVu