NTHRYS › PhD Assistance › Systems Engineering

Systems Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Specification and Model Checking Frameworks

Development and application of formal methods and temporal logics for specifying and mechanically verifying critical system properties.