scientific article; zbMATH DE number 1951202
From MaRDI portal
Publication:4413693
zbMATH Open1021.68508MaRDI QIDQ4413693FDOQ4413693
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
Title of this publication is not available (Why is that?)
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
General topics in the theory of software (68N01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Cited In (5)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- Title not available (Why is that?)
- 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
Uses Software
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)
