Building extensible specifications and implementations of promela with AbleP (2011)

by Yogesh Mali, Eric Van Wyk
Venue:In Proceedings of 18th the International SPIN Workshop on Model Checking of Software (SPIN 2011), volume 6823 of LNCS