Tag Graphviz

Install Graphviz – Graph Visualization Software

หลังจากตอนที่แล้วได้ลง Spin มาแล้ว แต่ผมเหลือบในเห็นใน List ของ Tools ที่จำเป็นในวิชา Formal Verification เห็นมีลง Graphviz  ด้วย ผมเลยเอามาเขียนอีก Blog แยกดีกว่าครับ เตรียมตัวก่อนลง ลง Graphviz ทำให้ Graphviz ใช้กับ dos command ทดสอบ Graphviz ผูก iSpin Reference

Install Spin – Formal Verification Tools

สำหรับใน Blog ตอนนี้ผมเน้นไปทางสาวกหน้าต่างนะครับ Microsoft Windows นะครับ สำหรับบันทึกการลง Spin ในวิชา Formal  Verification เตรียมตัวก่อนลง ลง Cygwin ทำให้ Cygwin ใช้กับ dos command ลง SPIN ลง ActiveTcl ผูก iSpin ถ้ามีเวลาเพิ่มเติม ผมอยากลองลงกับตัว Ubuntu Sub-System ที่มากับ Windows10 นะครับ แต่ต้องทำ VM แยก คราวก่อนลอง Docker ไป คอมเปิดไม่ติดเลย 5555 Reference