scientific article; zbMATH DE number 1951195

zbMath1021.68522MaRDI QIDQ4413684

Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo

Publication date: 21 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2589/25890263.htm

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

Mathematics Subject Classification ID

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

Related Items (6)

ASM-based formal design of an adaptivity component for a cloud system ⋮ A formal logic approach to constrained combinatorial testing ⋮ Data Flow Analysis and Testing of Abstract State Machines ⋮ A data-flow approach to test multi-agent ASMs ⋮ A Logic-Based Approach to Combinatorial Testing with Constraints ⋮ The ASMETA approach to safety assurance of software systems

Uses Software

• SPIN

This page was built for publication: