Related content

模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools

By 陈平   王德成  

Software Engineering and Applications, Vol. 3, Iss. 3, 2014-06 ,pp. : 70-77

汉斯出版社

Access to resources Recommend Favorite

Model checker aided design of a controller for a wafer scanner

By Hendriks Martijn   Nieuwelaar Barend   Vaandrager Frits  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 633-647

Springer Publishing Company

Access to resources Recommend Favorite

iChecker: An Efficient Plagiarism Detection Tool for Learning Management Systems

By  

International Journal of Systems and Service-Oriented Engineering (IJSSOE), Vol. 6, Iss. 3, 2016-07 ,pp. : 16-31

IGI Global_journal

Access to resources Recommend Favorite

Z2SAL: a translation-based model checker for Z

By Derrick John  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 43-71

Springer Publishing Company

Access to resources Recommend Favorite

HySAT: An efficient proof engine for bounded model checking of hybrid systems

By Fränzle Martin   Herde Christian  

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 179-198

Springer Publishing Company

Access to resources Recommend Favorite