scientific article; zbMATH DE number 1318522

zbMath0919.03027MaRDI QIDQ4256654

Amir Pnueli

Publication date: 8 August 1999

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Assumption/guarantee specifications in linear-time temporal logic (extended abstract) ⋮ Assumption/guarantee specifications in linear-time temporal logic ⋮ Metric temporal logic with durations ⋮ On using temporal logic for refinement and compositional verification of concurrent systems

Uses Software

• TLA

This page was built for publication: