scientific article; zbMATH DE number 1903373
From MaRDI portal
Publication:4804918
zbMath1010.68088MaRDI QIDQ4804918
Mitra Purandare, Fabio Somenzi
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040485.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (10)
Coverage metrics for temporal logic model checking ⋮ On the Notion of Vacuous Truth ⋮ Operational causality -- necessarily sufficient and sufficiently necessary ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Linear temporal logic symbolic model checking ⋮ Beyond vacuity: towards the strongest passing formula ⋮ Vacuity in practice: temporal antecedent failure ⋮ Timed vacuity ⋮ Complementary Criteria for Testing Temporal Logic Properties ⋮ Before and after vacuity
This page was built for publication:
