论文信息 - Experience report: the reactis validation tool

Experience report: the reactis validation tool

Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclusion that while functional languages have some disadvantages, in the case of Reactis the benefits of a functional language substantially outweigh the drawbacks.

[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2] Rance Cleaveland,et al. The Concurrency Factory: A Development Environment for Concurrent Systems , 1996, CAV.

[3] Steve Sims,et al. Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking , 2000, TACAS.

[4] Matthias Blume,et al. Dependency analysis for Standard ML , 1999, TOPL.

[5] Suresh Jagannathan,et al. Flow-Directed Closure Conversion for Typed Languages , 2000, ESOP.

[6] Andrew W. Appel,et al. Standard ML of New Jersey , 1991, PLILP.

[7] Rance Cleaveland,et al. The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.

[8] Matthias Blume. No-Longer-Foreign: Teaching an ML compiler to speak C "natively" , 2001, Electron. Notes Theor. Comput. Sci..