Mechanical Analysis of Finite Idempotent Relations

DOI10.3233/FI-2011-392MaRDI QIDQ3100172zbMATH OpenOpenAlexFDO

Authors Florian Kammüller

Publication date 22 November 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-392

zbMATH Keywords

interactive theorem provinghigher order logicidempotent relationsformal specification of computer systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3321974
• scientific article; zbMATH DE number 936359
• Mechanics of finite deformations
• scientific article; zbMATH DE number 1978527
• Finite mechanical proxies for a class of reducible continuum systems
• scientific article; zbMATH DE number 3954345
• scientific article; zbMATH DE number 1304488
• Some explicit relations in kinematics of mechanisms
• scientific article; zbMATH DE number 1201603
• scientific article; zbMATH DE number 6292268

Cited in

(2)

• A verified algorithm enumerating event structures
• scientific article; zbMATH DE number 3321974 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle/HOL
• ML

This page was built for publication: Mechanical Analysis of Finite Idempotent Relations

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