Academic
Publications
Comparison of Model Checking Tools for Information Systems

Comparison of Model Checking Tools for Information Systems,10.1007/978-3-642-16901-4_38,Marc Frappier,Benoît Fraikin,Romain Chossart,Raphaël Chane-Yac

Comparison of Model Checking Tools for Information Systems   (Citations: 2)
BibTex | RIS | RefWorks Download
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is specified using each model checker. Fifteen properties of various types are checked using temporal logics (CTL and LTL), first-order logic and failure-divergence (fdr2). Three characteristics are evaluated: ease of specifying information system i) behavior, ii) properties, and iii) the number of IS entity instances that can be checked. The paper then identifies the most suitable features required to validate information systems using a model checker.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: