Integrating formal specifications into applications: the ProB Java API

DOI10.1007/S10703-020-00351-3zbMATH Open1505.68024OpenAlexW3094156705MaRDI QIDQ2147695FDOQ2147695

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)

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

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

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)

Cites Work

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

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)