Formal Methods

• Abstract modelling

• Belief logics

• State space exploration, model checking

• Inductive verification

Previous slide

Next slide

Back to first slide

View graphic version