The model checker SPIN

Gerard J. Holzmann

doi:10.1109/32.588521

1997-05-01

2.2K

PRE

Gerard J. Holzmann *

DOI：10.1109/32.588521

原文链接

原文求助

摘要

En 中文

SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone exchanges. This paper gives an overview of the design and structure of the verifier, reviews its theoretical foundation, and gives an overview of significant practical applications.

Keyword:

formal methods

program verification

design verification

model checking

distributed systems

concurrency

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering

IF:

5.6

论文数:

2.9K

被引数:

1.1W

机构

暂无机构信息

引用论文

Solvation of ions in pure and mixed solvents

Pure and Applied Chemistry

IF0

2009-01-01

PREAI

H. Strehlow; H. Schneider

3D printing of stretchable, ionic conductive, adhesive hydrogel with enhanced water retention for motion detection

Materials Today: Proceedings

IF0

2022-01-01

PREAI

Congjian Lin; Hui Ying Yang

Neuraxial anesthesia in hepato-pancreatic-bilio surgery: a first western pilot study of 46 patients

Updates in Surgery

IF0

2023-01-06

OAAI

Aldo Rocca; Carmela Porfidia; Raffaele Russo; Antonella Tamburrino; Pasquale Avella; Roberto Vaschetti; Paolo Bianco; Fulvio Calise

Limiting net greenhouse gas emissions in the United States

IF0

1991-09-01

OAAI

R Bradley; E Watts; E Williams

Array anisotropy in structured thin film arrays: Influence on the magnetodynamics

Journal of Magnetism and Magnetic Materials

IF0

2011-06-01

PREAI

M. Wolf; C. Patschureck; R. Schäfer; I. Mönch; L. Schultz; J. McCord

STRUCTURAL ASPECTS OF IRON COORDINATION COMPOUNDS: I. MONOMERIC DERIVATIVES 铁配位化合物的结构方面: I.单体衍生物

Reviews in Inorganic Chemistry

IF0

1997-04-01

PREAI

Milan Melnik,; Iveta Ondrejkovicovä,; Vlasta Vancovd,; Clive E. Holloway,

Basis set effects on the Hartree–Fock description of confined many-electron atoms

Journal of Physics B: Atomic, Molecular and Optical Physics

IF0

2011-12-09

PREAI

Jorge Garza; Julio M Hernández-Pérez; José-Zeferino Ramírez; Rubicelia Vargas

Optimised Anaesthesia to Reduce Post Operative Cognitive Decline (POCD) in Older Patients Undergoing Elective Surgery, a Randomised Controlled Trial

PLoS ONE

IF0

2012-06-15

OAAI

Clive Ballard; Emma Jones; Nathan Gauge; Dag Aarsland; Odd Bjarte Nilsen; Brian K. Saxby; David Lowery; Anne Corbett; Keith Wesnes; Eirini Katsaiti; James Arden; Derek Amaoko; Nicholas Prophet; Balaji Purushothaman; David Green

A unified approach to fault-tolerance in communication protocols based on recovery procedures

IEEE-ACM TRANSACTIONS ON NETWORKING

IF3.6

1996-01-01

PREAI

Agarwal, A; Atwood, JW

Using partial-order methods in the formal validation of industrial concurrent programs

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

1996-07-01

PREAI

Godefroid, P; Peled, D; Staskauskas, M

查看更多内容