scientific article; zbMATH DE number 3846861

MaRDI QIDQ3316583zbMATH OpenFDO

Authors Aizhu Zhang, Tong Gao Tang

Publication date 1984

zbMATH Keywords

programsModelsfirst order temporal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3972843
• Nonclausal deduction in first-order temporal logic
• scientific article; zbMATH DE number 1059322
• scientific article; zbMATH DE number 3985193
• scientific article; zbMATH DE number 4055577

Cited in

(7)

• scientific article; zbMATH DE number 3858393 (Why is no real title available?)
• scientific article; zbMATH DE number 3972843 (Why is no real title available?)
• scientific article; zbMATH DE number 4053579 (Why is no real title available?)
• Propositional linear temporal logic with initial validity semantics
• A formalization of programs in first-order logic with a discrete linear order
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
• scientific article; zbMATH DE number 1522996 (Why is no real title available?)

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 Q3316583)