▽[計算機言語談話会について] ●10/11 01:43 Not Found The requested URL /cvs/CLC/ was not found on this server.
▽ｼｽﾃﾑ設計検証技術研究会 ●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
▽Specification and Verification Center ●09/21 02:18 Specification and Verification Center Center Goals About the Center People Principal Investigators All Members Meetings Weekly Seminar 2:00–3:00 pm ARO PI Meetings Resources Projects Publications Courses Tools Funding Outside Links Center Goals Our center focuses on the formal specification and verification of hardware and software systems. We invent new mathematically-based techniques, lang
