The old (1997-2004) John Von Neumann Minerva Center for
Verification of Reactive Systems
Activities
Research
Interaction with Industry
Education
Outline of Future Activities
Dept. of Computer Science and Applied Math
The
Weizmann Institute of Science
Rehovot 76100, Israel
TelePhone: +972-8-934-3434
Telefax: +972-8-934-4122
To comment on this service, send feedback to the
Nir Piterman