DejaVu

swMATH46090MaRDI QIDQ5972847FDOQ5972847

Author name not available (Why is that?)

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

Described by source

• First-order temporal logic monitoring with BDDs

Cited In (1)

• Almost event-rate independent monitoring

This page was built for software: DejaVu