Milos Gligoric, Peter C. Mehlitz, Darko Marinov. X10X: Model Checking a New Programming Language with an "Old" Model Checker. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 11-20, IEEE, 2012. [doi]
Abstract is missing.