IF: A validation environment for timed asynchronous systems
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago …, 2000•Springer
Formal validation of distributed systems relies on several specification formalisms (such as
the international standards LOTOS [15] or SDL [16]), and it requires different kinds of tools to
cover the whole development process. Presently, a wide range of tools are available, either
commercial or academic ones, but none of them fulfills in itself all the practical needs.
the international standards LOTOS [15] or SDL [16]), and it requires different kinds of tools to
cover the whole development process. Presently, a wide range of tools are available, either
commercial or academic ones, but none of them fulfills in itself all the practical needs.
Abstract
Formal validation of distributed systems relies on several specification formalisms (such as the international standards LOTOS [15] or SDL [16]), and it requires different kinds of tools to cover the whole development process. Presently, a wide range of tools are available, either commercial or academic ones, but none of them fulfills in itself all the practical needs.
Springer