scientific article

zbMath0962.68080MaRDI QIDQ2703694

Martin Leucker, Thomas Noll

Publication date: 7 May 2001

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

zbMATH Keywords

compiler generatormodel-checking tool

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

Rewriting logic: Roadmap and bibliography ⋮ Towards Erlang Verification by Term Rewriting

Uses Software

• ELAN

This page was built for publication: