Abstract
In industry formal methods are becoming increasingly important for the verification of hardware and software designs. However current practice for specification of system and protocol functionality on high level of abstraction is textual description. For
verification of the system behavior manual inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities –
UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality. For this purpose both tools were applied to comparable frameworks.
verification of the system behavior manual inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities –
UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality. For this purpose both tools were applied to comparable frameworks.
Original language | English |
---|---|
Title of host publication | Technical Report |
Number of pages | 6 |
Publisher | IEEE Press |
Publication date | 2006 |
Publication status | Published - 2006 |