Centre Fédéré en Vérification
Home Page
Groups
Publications
Information
Seminars
Contact
Login
Home
CFV Publications of
Michael Leuschel
Download this author's CFV publication list:
[BibTeX]
2007
Efficient Approximate Verification of B via Symmetry Markers
Leuschel, M
,
Massart T
[BibTeX]
2002
Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation
Leuschel, M
,
Massart T
[BibTeX]
Upcoming Seminars
There are no upcoming CFV seminars at this time.