AI Chat AI Image Generator AI Video Text to Speech

Is CADP an Applicable Formal Method?

11/16/2021
∙
by   Hubert Garavel, et al.
∙
0
∙

CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.

READ FULL TEXT

page 1

page 2

page 3

page 4

Related Research

research
∙ 12/23/2021

A Manifesto for Applicable Formal Methods

Formal methods were frequently shown to be effective and, perhaps becaus...
0 Mario Gleirscher, et al. ∙
research
∙ 03/28/2022

Information Theory and Point Processes

This paper addresses theoretically correct vs. incorrect ways to apply i...
0 Ronald Mahler, et al. ∙
research
∙ 05/13/2020

Applying a Formal Method in Industry: a 25-Year Trajectory

Industrial applications involving formal methods are still exceptions to...
0 Thierry Lecomte, et al. ∙
research
∙ 12/04/2022

Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)

We want to verify the correctness of optimization phases in the GraalVM ...
0 Mark Utting, et al. ∙
research
∙ 06/06/2019

Ihara Zeta Entropy

In this article, we introduce an entropy based on the formal power serie...
0 Supriyo Dutta, et al. ∙
research
∙ 04/21/2015

Formalizing Preference Utilitarianism in Physical World Models

Most ethical work is done at a low level of formality. This makes practi...
0 Caspar Oesterheld, et al. ∙
research
∙ 04/12/2023

Increasing Well-being through Robotic Hugs

This paper addresses the question of how to increase the acceptability o...
0 Oliver Bendel, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal