This is the official blog of the Laboratory for Temporal Logic at the Iowa State University of Science and Technology.
Our lab specializes in formal methods, mathematically rigorous techniques for the formal specification, validation, and verification of safety-critical systems. From design-time checking of system logic and system requirements to runtime system health management, one common element underlying most everything we do in this lab is temporal logic.