Open Internet by MindsNet

Formal Methods Tools

Z notation, TLA+, and formal specification languages

Computing & Technology, Computer Science, Theoretical Computer Science