Comparison of Model Checking Tools

Wei Gong; Jun Wei Jia

doi:10.4028/www.scientific.net/AMR.659.181

Paper Titles

A Method of Determining the Pose of Planar Target in Vision Detection System
p.156

Research of Maneuver Ship Meteorological Instrument Data Real-Time Acquisition and Processing System
p.162

Design and Implementation of Metric Multi-Core Functional Simulator
p.169

LBS Hybrid Encryption Scheme Based on IMSI Pseudonym
p.174

Comparison of Model Checking Tools
p.181

A Method of Micro-Blog Sentiment Analysis Based on PAD Model
p.186

Cyber Security Datasets Research
p.191

Analysis of Class Design Coupling Based on Information Entropy
p.196

Data Classification in Internet of Things Based on Evolutionary Neural Network
p.202

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 659Comparison of Model Checking Tools

Comparison of Model Checking Tools

Abstract:

Model Checking is a method for verification. The model will be checked until the specification of it is proved or disproved. With the rising complexity of big models, there are non-checkable cases, in which cases the problem can be analyzed by some models, for example, bounded Model Checking means to analyze the model until a defined time or depth. The verification happens automatically. The programs for doing this are called Model Checking Tools or Model Checker. Model Checking are used in both software and hardware verification. It is an inherent part of hardware verification, whereas it is less used in the software verification.

You might also be interested in these eBooks

Advanced Materials and Computer Science II

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 659)

Pages:

181-185

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.659.181

Citation:

Cite this paper

Online since:

January 2013

Authors:

Wei Gong, Jun Wei Jia

Keywords:

Mocha, Model Checking, NuSMV, PRISM

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Verification of an elevator system with mocha, Lin Mei / Yuan Gan, Dep. Of Computer Science, Universität Toronto, 28, Jan (2004).

Google Scholar

[2] Mocha: A Model Checking Tool that Exploits Design Structure, R. Alur u. a.

Google Scholar

[3] Mocha: Modularity in Model Checking, R. Alur, Computer & Information Science, University of Pennsylvania, Philadelphia u. a. In Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998).

Google Scholar

[4] http: /www. prismmodelchecker. org/casestudies/index. php.

Google Scholar

[5] http: /nusmv. fbk. eu.

Google Scholar

[6] Hardware Model Checking Competition 2010, Armin Briere. http: /fmv. jku. at/biere/talks/Biere-HWMCC10-talk. pdf.

Google Scholar