DPF

MaRDI QIDQ24777swMATHFDO

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