scientific article; zbMATH DE number 1951202

MaRDI QIDQ4413693zbMATH OpenFDO

Authors Wolf Zimmermann, Axel Dold

Publication date 21 July 2003

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2172808
• Model Checking Abstract State Machines with Answer Set Programming
• Model checking abstract state machines with answer set programming
• The abstract state machines method for modular design and analysis of programming languages
• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• scientific article; zbMATH DE number 1841822
• scientific article; zbMATH DE number 1222405
• A symbolic semantics for abstract model checking

Cited in

(5)

• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
• scientific article; zbMATH DE number 2172808 (Why is no real title available?)
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Non-commutative propositional logic with short-circuit evaluation
• An independent axiomatisation for free short-circuit logic

Describes a project that uses

Uses Software

• Ada95

This page was built for publication:

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