scientific article; zbMATH DE number 1754627

zbMath0986.68506MaRDI QIDQ4535054

Michael Benedikt, Patrice Godefroid, Thomas W. Reps

Publication date: 12 June 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760652

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Modular strategies for recursive game graphs ⋮ On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams ⋮ Querying probabilistic business processes for sub-flows ⋮ Nested-unit Petri nets ⋮ A structural/temporal query language for business processes ⋮ Deterministic finite automata with recursive calls and DPDAs

Uses Software

• SPIN
• CESAR
• Bebop

This page was built for publication: