Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Branching Time Logic and CTL Semantics

Studies logical systems for reasoning about branching future possibilities and their application to concurrent system verification.