Sumários
Dependent Types
12 Dezembro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos
- The Idris language
- Types and Functions
- Dependent types, useful datatypes
- Example: The Well-Typed Interpreter
Model Checking IV
5 Dezembro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos
- Explicit-state model checking of LTL properties
- Buchi automata
- From LTL to Buchi automata
- Reduction to an emptiness problem
- How to control the state-explosion problem in SPIN
- Storage of states
- State Compression
- State representation
- Partial order reduction
Model Checking III
28 Novembro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos
- Specification of properties in LTL