The paper presents a software development environ ment- MIE-(Multispel Integrated Environment)based on for mal methods, which assists in both sequential and concurrent system development. MIE uses its own formal, concurrent executable specification language, named MULTISPEL (MULTI level SPEcification Language). MULTISPEL main characteristics are presented and illustrated.
software development environments, concurrent systems, client/server model, executable specifications, formal methods, formal specification language, formal verification rules, correctness proof.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).