| 08:45 |
09:00 |
Camilo Rocha |
Opening |
| 09:00 |
10:00 |
Carlos Olarte |
Strategic and Symbolic Methods for Real-Time Systems in Maude |
| 10:00 |
10:30 |
Coffee break |
|
| 10:30 |
11:00 |
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer and Julia Sapiña |
Generating Invariants by Deductive Model Checking |
| 11:00 |
11:30 |
Rafael Morales-Palacios, Rubén Rubio and Ignacio Fábregas |
A Semantic Framework for Symbolic Execution in Maude |
| 11:30 |
12:00 |
Artur Boronat |
Bounded Structural Model Finding with Symbolic Data Constraints |
| 12:00 |
12:30 |
Lorenzo Capra |
A Maude Framework for Efficient Analysis of Multiformalism Models |
| 12:30 |
14:00 |
Lunch break |
|
| 14:00 |
16:00 |
Rubén Rubio (Tutorial) |
Statistical Model Checking with QMaude |
| 16:00 |
16:30 |
Coffee break |
|
| 16:30 |
17:00 |
José Meseguer and Peter Csaba Ölveczky |
The Timed P Transformation for Distributed Real-Time Systems |
| 17:00 |
17:30 |
Rubén Rubio, Beatriz Alcaide García and Adrian Riesco |
On the translation of Maude programs to modern imperative languages |