Website development for Cloud based verification

• Main Author: Li, Yichang
• Other Authors: Liu Yang
• Format: Final Year Project
• Language: English
• Published: 2016
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: http://hdl.handle.net/10356/66747
• Institution: Nanyang Technological University

Process Analysis Toolkit (PAT) is a self-contained framework to support composing, simulating and reasoning of concurrent, real-time systems and other possible domains. As web applications have become the primary means to allow ubiquitous access to backend systems via a web browser. With the hope to...