Select a category to explore research frontiers
Loading categories...
Research on automated verification of concurrent and reactive systems using temporal logic specifications and efficient model checking algorithms for safety and liveness properties.