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

Emil Vassev, Mike Hinchey, Aaron J. Quigley

Browse the full ICSoft paper archive.