✦ LIBER ✦

Composing and Refining Dense Temporal Logic Specifications

✍ Scribed by Antonio Cau

Publisher: Springer
Year: 2000
Tongue: English
Weight: 206 KB
Volume: 12
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001650070036

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimal refinements of specifications in

Minimal refinements of specifications in modal and temporal logics

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 41 KB

Minimal refinements of specifications in

Minimal refinements of specifications in modal and temporal logics

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 552 KB

Specification of communicating processes

Specification of communicating processes: temporal logic versus refusals-based refinement

✍ Gavin Lowe 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 253 KB

Real-time refinement in Manna and Pnueli

Real-time refinement in Manna and Pnueli's temporal logic

✍ David Scholefield 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 876 KB

Minimal refinements of specifications in

Minimal refinements of specifications in model and termporal logics

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 569 KB

An infinitary variant of Metric Temporal

An infinitary variant of Metric Temporal Logic over dense time domains

✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB 👁 1 views

## Abstract We introduce a complete and cut‐free proof system for a sufficiently expressive fragment of Metric Temporal Logic over dense time domains in which a schema of induction is provable. So doing we extend results previously obtained by Montagna et al. to unbounded temporal operators. (© 200