Deductive reasoning versus model checking: Two formal approaches for system development

MaRDI QIDQ4494256zbMATH OpenFDO

Authors J. N. Reed, J. E. Sinclair, F. Guigand

Publication date 10 August 2000

zbMATH Keywords

deductive reasoning

Mathematics Subject Classification ID

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

Recommendations

• Formal methods: Importance, experience, and comparative analysis
• Combinations of model checking and theorem proving
• A system for deduction-based formal verification of workflow-oriented software models
• scientific article; zbMATH DE number 2112369
• KeY: A Formal Method for Object-Oriented Systems

Cited in

(2)

• Towards two-level formal modeling of computer-based systems
• Refinement-preserving plug-in components

This page was built for publication: Deductive reasoning versus model checking: Two formal approaches for system development

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