The old (1997-204) John Von Neumann Minerva Center for Verification of Reactive Systems

This is the site of the old (1997-2004) John Von Neumann Minerva Center for Verification of Reactive Systems.

Local information (can be loaded only in Weizmann)

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