Integrating formal specifications into applications: the ProB Java API

DOI10.1007/S10703-020-00351-3MaRDI QIDQ2147695zbMATH OpenOpenAlexFDO

Authors Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel

Publication date 20 June 2022

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10703-020-00351-3

zbMATH Keywords

embeddingformal methodsJava APIProBrun-time execution

Mathematics Subject Classification ID

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

Recommendations

• Animating the formalised semantics of a Java-like language
• Integrating a formal method into a software engineering process with UML and Java
• Java-MaC: A run-time assurance approach for Java programs
• FM 2005: Formal Methods
• Algebraic Methodology and Software Technology

Cites work

• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 2172802 (Why is no real title available?)
• An analysis of alpha-beta pruning
• CoreASM: an extensible ASM execution engine
• Directed Model Checking for B: An Evaluation and New Techniques
• Executing formal specifications with concurrent constraint programming
• FM 2005: Formal Methods
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Model Checking Software
• Modeling in Event B. System and software engineering.
• On correct refinement of programs
• Refinement Calculus
• The B-Book

Describes a project that uses

Uses Software

• CoreASM
• Modelica
• z3
• Rodin
• ProB
• Atelier B
• SICStus
• Overture Tool
• GitHub
• BTestBox
• EventB2Java
• JeB
• BMotionWeb
• VisB
• WebASM

This page was built for publication: Integrating formal specifications into applications: the ProB Java API

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