scientific article; zbMATH DE number 1231598

MaRDI QIDQ4222919zbMATH OpenFDO

Authors François Laroussinie, Philippe Schnoebelen

Publication date 21 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#laroussinieschnoebelen

zbMATH Keywords

model-checking specificationPCTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification in CTL + past for verification in CTL.
• Partial specifications and compositional verification
• Verification of SpecC using predicate abstraction
• A compositional approach to CTL^* verification
• Specification inference using context-free language reachability
• Formal Methods in Computer-Aided Design
• Specification and verification using temporal logics
• Specification and verification of concurrent programs through refinements

Cited in

(4)

• Specification in CTL + past for verification in CTL.
• An axiomatization of PCTL*
• On Regular Temporal Logics with Past,
• A hierarchy of temporal logics with past

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