http://fmt.cs.utwente.nl/
Enschede, The Netherlands
University of Twente - Formal Methods and Tools
The VerCors verification toolset for verifying parallel and concurrent software
utwente-fmt
The LTSmin model checking toolset