Virtual Inputs Virtual Outputs


We have developed a formal validation tool that has been used in several projects that are developing software for AT&T's 5ESS TM telephone switching system. The tool validates networks of communicating processes speciied in the Virtual Finite State Machine (VFSM) notation, which is used during the low-level-design phase of software development to specify… (More)