Formal Tools

Modeling Telecom Networks And Systems Architecture: Conceptual Tools And Formal Methods

Leveraging Applications Of Formal Methods, Verification And Validation: Tools And Trends

From Software Engineering To Formal Methods And Tools, And Back

Larch: Languages And Tools For Formal Specification