Inspirel banner

Formal Methods Toolkit

Documentation - Table of Contents

Introduction

1. What is FMT?

2. Installing FMT

3. General conventions

Basic Modeling

4. Packages

5. Data types

6. Data objects

7. Operations

8. Comments and traceability

9. Model persistency

Advanced Modeling

10. Getting more from Mathematica

11. Grammar preprocessors

12. Metaprogramming

13. Model synthesis

Verification

14. Grammar checks

15. Name checks

16. Flow checks

17. Control flow analysis

18. Call graph checks and analysis

19. Data aliasing checks

20. Proof checks

21. All checks

Code Generation

22. Code generation

Bit and Pieces

23. Customization

24. Generating MISRA-C compliant code

Reference

25. Grammar tags

26. Proof statements

 

Go back to FMT homepage.