scientific article; zbMATH DE number 1543041

zbMath0960.68090MaRDI QIDQ4520493

Wolfgang Ahrendt, Gerhard Schellhorn

Publication date: 26 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal verificationProlog compiler

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

TWAM: a certifying abstract machine for logic programs, Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems, The Subject-Oriented Approach to Software Design and the Abstract State Machines Method, Ambient abstract state machines with applications, Completeness of ASM Refinement, Completeness of fair ASM refinement