FAQs (Frequently Asked Questions plus answers) are available on the internet for the following formal methods and formal notations:

• Larch, Gary T. Leavens
• RAISE, Jan Storbank Pedersen
• VDM, Marcel Verhoef
• Z, Jonathan Bowen

© copyright 2004 | Formal Methods Europe