Skip to content

Home/Archive/NASA NTRS

NASA NTRS · 20060030056

Automated statechart model checking

Mikk, E.·Pingree, P. J.

View original source ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Explore related subjects

model checking statecharts automated translation

Keep this discovery

Explore connections, maps & timelines

Mikk, E., Pingree, P. J.. 2002-08-28. Automated statechart model checking. https://ntrs.nasa.gov/citations/20060030056

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRS2002

Validation of mission critical software design and implementation using model checking

Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.

model checking statecharts automated translation↗