scientific article; zbMATH DE number 1231661

MaRDI QIDQ4222987zbMATH OpenFDO

Authors Michihiro Matsumoto, Kokichi Futatsugi

Publication date 7 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15010

zbMATH Keywords

coinductionGAC algorithm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1507195
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• Program verification by coinduction
• Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts

Cited in

(2)

• Observational proofs by rewriting.
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction

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