scientific article; zbMATH DE number 7453192

MaRDI QIDQ5020651

Michael Leuschel

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/2008.02933

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• ML
• ProB
• SICStus
• ZeroMQ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cost analysis of object-oriented bytecode programs
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• A theory of type polymorphism in programming
• Recursive query processing: The power of logic
• Directed Model Checking for B: An Evaluation and New Techniques
• Constraint Handling Rules
• On the complexity of branching programs and decision trees for clique functions
• Abstract interpretation and application to logic programs
• Tree dimension in verification of constrained Horn clauses

This page was built for publication: