Documents PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers

Process Analysis Toolkit PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers Yang LIU Senior Research Scientist National University of Singapore (joint…

Documents Build Your Own Model Checker in One Month

Sharing on Research Areas of Interest of SUTD Faculty Build Your Own Model Checker in One Month SUN, Jun Assistant Professor@SUTD, Visiting Scientist@MIT Jing Song Dong and…

Documents Scalable Multi-core Model Checking Fairness Enhanced Systems

Process Analysis Toolkit Scalable Multi-core Model Checking Fairness Enhanced Systems Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore…

Documents Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore.

Process Analysis Toolkit Scalable Multi-core Model Checking Fairness Enhanced Systems Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore…