scientific article; zbMATH DE number 1956573

MaRDI QIDQ4417914zbMATH OpenFDO

Authors Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190065.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A decidable timeout-based extension of linear temporal logic
• scientific article; zbMATH DE number 6287569
• Linear temporal logic -- from infinite to finite horizon
• Defeasible linear temporal logic
• Algebraic Methodology and Software Technology
• Logical consecutions in discrete linear temporal logic
• scientific article; zbMATH DE number 3878351
• A Paraconsistent Linear-time Temporal Logic
• scientific article; zbMATH DE number 1927567
• The decision problem for linear temporal logic

Cited in

(4)

• Functional specification of hardware via temporal logic
• From Philosophical to Industrial Logics
• Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
• From Monadic Logic to PSL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417914)