[ JAIST | IS ]
Home
Page of lectures at
Sinaia School
on Formal Verification of Software Systems
3-10 March 2008
Lecturers: FUTATSUGI,Kokichi
, OGATA,Kazuhiro,
NAKAMURA,Masaki
Teaching Assistant : GAINA, Daniel
JAIST (Japan Advanced
Institute of Science and Technology)
Materials for the lectures [slides (pdf files) and CafeOBJ
codes (text files with .mod extension)] :
Related
web pages:
- CafeOBJ
Home
Page: (manuals, systems, papers, etc)
- CafeOBJ
Report, -- The language, Proof Techniques, and Methodologies for
Object-Oriented Algebraic
Specification --, by Razvan Diaconescu and Kokichi
Futatsugi, World Scientific,
1998, ISBN 981-02-3513-6.
- CAFE:
An Industrial-Strength
Algebraic Formal Method, Edited by Kokichi Futatsugi, etl
al.,
Elsevier, 2000, ISBN 0 444 50556 3
Supposed preliminary knowledge:
- fundamental knowledge on programming, algorithm,
data structure, automaton & formal language, and mathimatical logic
E-mail for questions
and submitting answers for examination:
Problems for Examination:
[ JAIST |
IS ]