Systematic Refinement of Abstract State Machines with Higher-Order Logic

DOI10.1007/978-3-319-91271-4_14OpenAlexW2801225806MaRDI QIDQ5881450

Flavio Ferrarotti, Klaus-Dieter Schewe, Senén González, 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)

Uses Software

• Rodin

Cites Work

• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• On fragments of higher order logics that on finite structures collapse to second order
• Computing queries with higher-order logics
• Graph Coloring and the Immersion Order
• Abstract State Machines
• Expressing properties in second- and third-order logic: hypercube graphs and SATQBF
• Finding topological subgraphs is fixed-parameter tractable
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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