Proceedings. 19th International Conference on Automated Software Engineering, 2004.
A toolset for system design and analysis is described. The tool allows individual translated functional requirements to be entered graphically as Behavior Trees. Once integrated these Behavior Trees form a problem domain representation of the design. This representation is automatically mapped to CSP to enable model checking with FDR. A number of consistency checks on the design can be performed. Examples are used to illustrate the results produced by the toolset.doi:10.1109/ase.2004.1342775 fatcat:a43l6a6xq5hvlkblv6vyjdbj5y