C. Attiogbé - IRIN / Faculty of Sciences and Techniques - Nantes Benchmarks / Case studies [+ solutions]

Workshop / Rigorous development

Generalized Railorad Crossing (1993)
Heitmeyer
Gurevich
Solution Coq

Outils pour les ateliers de développement / Tools for Workshops/Workbenchs

Formal Method and Techniques

VDM / VDM-SL IFAD ...	PAC (Process algebra compiler)
Z ObjectZ ZEVES ZTC ZANS	I/O Automata I/O Automata ++
Petri Nets	SAL Unofficial SAL (C. Munoz)
FSM	Lemma1 Arthan, ZStandard, etc
B Method Btoolkit	DOVE (extension de HOL/Isabelle)
Promela/SPIN
STeP-HOL HOL-Doc
PVS
CCS CWB CSP FDR Lotos - CWB-NC CADP-
OBJ
Cofi / CASL
SMV
Pict (Pi-calculus implemented in ...)
ProofGeneral

Script Languages / Programming

Bourne Shell	C++
C Shell	CWeb
tcl	Lisp
Perl home page Perl en 10 mn Perl Perl Perl en 2h Perl intro modules	Scheme
Zsh	Caml
Expect	Pascal
	Veda
Lex / Yacc	Bison / flex
Java AnimJava	SQL
Python

Plates-formes Systèmes/réseaux-Développement

Sources d'infos divers

Le monde Education	Nouvel Obs	Enseignement Supérieur	Affaires étrangères	Clora	RNRT
RNTL	AupelUref	Prof - Invité	Specif	Adelard

Outils/Ateliers

Workshop Viewpoint96
Related Works (Finkelstein)