First order temporal logic monitoring with BDDs.

Klaus Havelund, Doron Peled, Dogan Ulus

Browse the full FMCAD paper archive.