MPVS est un logiciel de vérification de programmes. Le but de cet outil est d’aider l’étudiant à maîtriser la méthode de construction de programmes basée sur les invariants et la découpe en sous-problèmes.

• Development Status: 5 - Production/Stable
• Environment: Win32 (MS Windows), X11 Applications
• Intended Audience: End Users/Desktop, Other Audience
• License: GNU General Public License (GPL)
• Natural Language: English, French
• Operating System: OS Independent
• Programming Language: Other
• Topic: Computer Aided Instruction (CAI), Interpreters