PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

Monthly archives for November, 2009

4, Nov, 2009: PAT is presented FM 09

PAT team presented the following two papers in Formal Methods 2009 in Eindhoven, the Netherlands.