14 September 2011 Tool that supports validation of software models or system. Related posts: Software Infrastructure