▽Hugo/RT ●03/11 01:21 Not Found The requested URL /projekte/hugo/ was not found on this server. Apache/2.4.18 (Ubuntu) Server at www.pst.informatik.uni-muenchen.de Port 80
▽ｼｽﾃﾑ設計検証技術研究会 ●11/14 01:51 Not Found The requested URL /cvs/consortium/index.html was not found on this server.
▽SDCR Formal Methods Working Group ●09/21 21:41 Strategic Directions in Computing Research Formal Methods Working Group Group Scope and Goals Research in formal methods is concerned with the development and use of mathematically-based languages, techniques, and tools to support the specification and verification of software and hardware systems. Group Report Formal Methods: State of the Art and Future Directions, Ed Clarke and Jeannette Wing, A
▽Magic ●09/21 21:25 MAGIC: Modular Analysis of proGrams In C October 28, 2004 The ComFoRT reasoning framework is being developed on top of MAGIC. June 5, 2004 MAGIC version 1.0 available for download. July 29, 2003 MAGIC version 0.1 available for download. Project Files Version Source Binaries Manual Tutorial 1.0 magic-1.0.tar.gz RH-7.1 RH-8.0 RH-9.0 Win32 manual-1.0 tutorial-1.0 0.1 magic-0.1.tar.gz RH-7.1 RH-8.0 RH
