Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2

First Page		Document Content
Date: 2005-06-09 09:07:09 Unified Modeling Language Infographics Systems Modeling Language Diagrams Models of computation Class diagram Michael Butler Model checking Object Process Methodology State diagram Activity Stereotype		Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 150,60 KB Share Document on Facebook

	Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docx DocID: 1ru0Y - View Document
	Microsoft Word - klippel2009chorematic.docx DocID: 1rshc - View Document
	Towards a methodology for rigorous development of generic requirements patterns DocID: 1rqUO - View Document
	Content Zoomable User Interfaces Jazz: An Extensible Zoomable User Interface Graphics Toolkit in Java DocID: 1rqI3 - View Document
	California Water and Environmental Modeling Forum Promoting Excellence and Consensus in Water and Environmental Modeling P.O. Box 488, Sacramento, CAuu u www.cwemf.org CWEMF’s Peer DocID: 1rp5v - View Document