Specification and verification (program logics, model checking, etc.) (msc 68Q60), Temporal logic (msc 03B44)
Springer
J. Davies , J. Gibbons
Lecture Notes in Computer Science
Protocols for Secure Infrastructure and E-commerce
International Conference on Integrated Formal Methods
Specification and Analysis of Embedded Systems

Calamé, J.R, Ioustinova, N, van de Pol, J.C, & Sidorova, N. (2007). Bug Hunting with False Negatives. In J Davies & J Gibbons (Eds.), Proceedings of the 6th International Conference on Integrated Formal Methods (pp. 98–117). Springer.