Software model checking takes off-Reference-Cited by-同舟云学术

Software model checking takes off

Published:2010-02 Issue:2 Volume:53 Page:58-64
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Miller Steven P.¹,Whalen Michael W.²,Cofer Darren D.¹

Affiliation:

1. Rockwell Collins, Cedar Rapids, IA

2. University of Minnesota Software Engineering Center, Minneapolis, MN

Abstract

A translator framework enables the use of model checking in complex avionics systems and other industrial settings.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/1646353.1646372

Reference12 articles.

1. Model Checking

2. Esterel Technologies. SCADE Suite Product Description; http://www.estereltechnolgies.com/ Esterel Technologies. SCADE Suite Product Description; http://www.estereltechnolgies.com/

3. The synchronous data flow programming language LUSTRE

4. IRST. The NuSMV Model Checker; http://nusmv.irst.itc.it/ IRST. The NuSMV Model Checker; http://nusmv.irst.itc.it/

Cited by 92 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MUT4SLX: Extensions for Mutation Testing of Stateflow Models;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C);2024-03-12

2. Formal Verification of Quantum Programs: Theory, Tools, and Challenges;ACM Transactions on Quantum Computing;2023-12-16

3. Models and algorithms for the formation of an event tree used in analysing the quality of system software for knowledge-based intelligent decision support systems;InterConf;2023-11-20

4. Models and algorithms for determining the probability of occurrence of a critical combination of events for three-element minimum sections in intelligent decision support systems;2023 IEEE 4th KhPI Week on Advanced Technology (KhPIWeek);2023-10-02

5. A manifesto for applicable formal methods;Software and Systems Modeling;2023-08-18