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