|
|
9:50
|
Welcome
and
Introduction
to
the
Workshop
|
|
|
| 10:00 |
Foundations of Verifications with Proof Scores in CafeOBJ
|
Kokichi Futatsugi
|
11:30
|
technical discussion on foundations of formal verifications
|
|
13:00
|
Lunch
break
|
15:00
|
Towards Automated
Structural Induction: an institution-independent methodology
|
Răzvan Diaconescu
|
16:30
|
technical discussion on induction methodologies
|
|
|
10:00
|
Two Reduction Systems in Proof Score Writing
|
Daniel Găină
|
| 11:30 |
technical discussion on proof score programming
|
|
13:00
|
Lunch
break
|
15:00
|
Multiple Parameterized Specifications with Sharing
|
Ionuţ Ţuţu
|
16:30
|
technical discussion on parameterized specification
|
|
|