Integrating HOL-CASL into the development graph manager MAYA

DOI10.1007/3-540-45988-X_2MaRDI QIDQ4737121zbMATH OpenFDO

Authors Serge Autexier, Till Mossakowski

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2309/23090002.htm

Mathematics Subject Classification ID

Recommendations

• Mechanizing Mathematical Reasoning
• CASL: From semantics to tools
• Reasoning Support for Casl with Automated Theorem Proving Systems
• Towards an evolutionary formal software-development using CASL
• scientific article; zbMATH DE number 2172806

Cited in

(6)

• Manipulating algebraic specifications with term-based and graph-based representations
• Development graphs -- proof management for structured specifications
• Crystal: Integrating structured queries into a tactic language
• Deduction as an engineering science
• Mechanizing Mathematical Reasoning
• Computer supported mathematics with MEGA

Describes a project that uses

Uses Software

• CASL
• MAYA
• IsaWin
• TAS
• PROSPER

This page was built for publication: Integrating HOL-CASL into the development graph manager MAYA

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