In this case study, we used the Plural tool to verify the design of a commercial multi-task threaded application (MTTS) implemented by Novabase, ...

In a first stage, we employed the Plural tool, which is designed to perform lightweight verification of Java programs using a data-flow analysis (DFA) framework ...

In this case study, we used the Plural tool to verify the design of a commercial multi-task threaded application (MTTS) implemented by Novabase, ...

Abstract. In this case study, we used the Plural tool to verify the design of a commercial multi-task threaded application (MTTS) implemented.

Dec 1, 2013 · In a first stage, we employed the Plural tool, which is designed to perform lightweight verification of Java programs using a data-flow analysis ...

Dec 1, 2013 · We used Plural for the specification and verification of a multi-threaded task server. (MTTS), implemented by Novabase, which has been ...

In a first stage, we employed the Plural tool, which is designed to perform lightweight verification of Java programs using a data-flow analysis (DFA) framework ...

In this case study, we used the Plural tool to verify the design of a commercial multi-task threaded application (MTTS) implemented by Novabase, which has been ...

2015. Lightweight verification of a multi-task threaded server: A case study with the plural tool. N Catano, I Ahmed. Formal Methods for Industrial Critical ...

Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. Néstor Cataño, Ijaz Ahmed. Pages 6-20. Download chapter PDF ...