DPF

swMATH12853MaRDI QIDQ24777FDOQ24777

Author name not available (Why is that?)

Official website: http://mir.cs.illinois.edu/~gliga/projects/dpf/

Described by source

• Model checking database applications

Cited In (3)

• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
• Model checking interval temporal logics with regular expressions
• DDVerify

This page was built for software: DPF