scientific article; zbMATH DE number 18642

MaRDI QIDQ3976046zbMATH OpenFDO

Authors Ildikó Sain

Publication date 26 June 1992

zbMATH Keywords

temporal logicpartial correctness assertionsinvariance propertiesdeterministic programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 19762
• A hierarchy of temporal logics with past
• On the strength of temporal proofs
• scientific article; zbMATH DE number 17797
• Past is for free: On the complexity of verifying linear temporal properties with past

Cited in

(1)

• ReGale: some memorable results

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