scientific article; zbMATH DE number 2172804

zbMath1104.68364MaRDI QIDQ4680191

Stephan Merz

Publication date: 2 June 2006

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

zbMATH Keywords

temporal logicspecificationreactive systemsvalidationlinear-time temporal logicZermelo-Fränkel set theory

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Distributed Adaptive Systems ⋮ Building Specifications in the Event-B Institution ⋮ A unifying logic for non-deterministic, parallel and concurrent abstract state machines