scientific article; zbMATH DE number 1536547
From MaRDI portal
Publication:4518414
zbMath0949.68539MaRDI QIDQ4518414
Thomas S. E. Maibaum, José Luiz Fiadeiro
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (8)
Towards the hierarchical verification of reactive systems ⋮ Sharing actions and attributes in modal action logic ⋮ Order-sorted model theory for temporal executable specifications ⋮ Definability and decidability of binary predicates for time granularity ⋮ Encapsulating deontic and branching time specifications ⋮ Decidability results for metric and layered temporal logics ⋮ A two-level temporal logic for evolving specifications. ⋮ Semantics of temporal classes
This page was built for publication:
