scientific article; zbMATH DE number 1543047

zbMath0960.68071MaRDI QIDQ4520500

Kirsten Winter

Publication date: 26 February 2001

Full work available at URL: http://www.jucs.org/jucs_3_5/model_checking

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract state machines

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Data Flow Analysis and Testing of Abstract State Machines ⋮ A data-flow approach to test multi-agent ASMs ⋮ A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines

Uses Software

• PVS

This page was built for publication: