TwCL Projects:

• SQME Tool: A Tool for Modeling and Evaluation of Software Quality Attributes
• Distributed Stateless Code Model Checking (DSCMC)
• A Distributed Cyber Attack Simulator (DCAS)
• A Tool for Attack Modeling and Security Evaluation (HCSAM Tool)
• Performance and Dependability Evaluation Tool (PDETool)
• SDES Simulation Engine (SimGine)
• SDES Model Checking Engine (McGine)

---

People    |    Projects    |    Publications    |    Contact

Copyright © TwCL, 2008-2018