Systematic Refinement of Abstract State Machines with Higher-Order Logic

DOI10.1007/978-3-319-91271-4_14MaRDI QIDQ5881450zbMATH OpenOpenAlexFDO

Authors Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, Jose Maria Turull Torres

Publication date 10 March 2023

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

Full work available at URL https://doi.org/10.1007/978-3-319-91271-4_14

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Higher-order logic (03B16) Classical models of computation (Turing machines, etc.) (68Q04)

Recommendations

• The ASM refinement method
• scientific article; zbMATH DE number 1841822
• Refinement of Higher-Order Logic Programs
• Abstract graph transformation
• scientific article; zbMATH DE number 1504839

Cites work

• scientific article; zbMATH DE number 5855088 (Why is no real title available?)
• scientific article; zbMATH DE number 5605119 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Abstract State Machines
• Computing queries with higher-order logics
• Expressing properties in second- and third-order logic: hypercube graphs and SATQBF
• Finding topological subgraphs is fixed-parameter tractable
• Graph coloring and the immersion order
• Information modelling and knowledge bases. XVII.
• Modeling in Event B. System and software engineering.
• On fragments of higher order logics that on finite structures collapse to second order
• XML database transformations

Cited in

(8)

• scientific article; zbMATH DE number 1841822 (Why is no real title available?)
• scientific article; zbMATH DE number 1951202 (Why is no real title available?)
• Refinements in Typed Abstract State Machines
• scientific article; zbMATH DE number 1324665 (Why is no real title available?)
• Normalization of Some Extended Abstract State Machines
• Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
• Formalization of Abstract State Transition Systems for SAT
• Abstract State Machines

Describes a project that uses

Uses Software

• Rodin

This page was built for publication: Systematic Refinement of Abstract State Machines with Higher-Order Logic

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