Related Information

• The PSL/Sugar Consortium: http://www.pslsugar.org
• The Sugar home page: http://www.haifa.il.ibm.com/projects/verification/sugar/

A Sugar Course

• A 38 slide course on PSL that you can adapt to your needs. These slides were produced in the course of the PROSYD project, but are not a formal deliverable.

Software

• PSL-enhanced VIS (Verification Interacting with Synthesis): http://www.prosyd.org/twiki/view/Public/ToolDownloads
• PSL-enhanced NuSMV (v2.3.1, v2.3.2, v2.4.0, v2.4.1 ): http://nusmv.irst.itc.it
• RAT (Requirements Analysis Tool): http://rat.itc.it
• Buechi Tool: http://www.prosyd.org/twiki/view/Public/BuechiToolDownload
• Bufi (Property Based Error Localization Tool): BufiTool
• Lily, an LTL synthesis tool.
• Anzu, an efficient GR(1) synthesis tool

Partner Web Sites

• IBM Haifa Formal Methods home http://www.haifa.il.ibm.com/projects/verification/Formal_Methods-Home/index.html
• OneSpin solutions: http://www.onespin-solutions.com
• ST Microelectronics: http://www.st.com
• Infineon: http://www.infineon.com
• Institute for Software Technology, TU Graz http://www.ist.tugraz.at
• Automated Reasoning System Division, Istituto Trentino di Cultura, Institute for Scientific and Technological Research (ITC/IRST:) http://sra.itc.it
• Weizmann Institute of Science: http://www.weizmann.ac.il/
• Verimag: http://www-verimag.imag.fr/
• Accellera: http://www.accellera.org/