Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL

Emil Vassev, Mike Hinchey, Aaron J. Quigley. Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. In Boris Shishkov, José Cordeiro, Alpesh Ranchordas, editors, ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009. pages 251-256, INSTICC Press, 2009.

Abstract

Abstract is missing.