AI Chat AI Image Generator AI Video AI Music Generator

From Well Structured Transition Systems to Program Verification

08/07/2020
∙
by   Alain Finkel, et al.
∙
0
∙

We describe the use of the theory of WSTS for verifying programs.

READ FULL TEXT

page 1

page 2

page 3

page 4

Related Research

research
∙ 10/16/2021

Verification of MPI programs

In this paper, we outline an approach to verifying parallel programs. A ...
0 Andrew M. Mironov, et al. ∙
research
∙ 06/01/2021

Modular Verification of Concurrent Programs via Sequential Model Checking

This work utilizes the plethora of work on verification of sequential pr...
0 Dan Rasin, et al. ∙
research
∙ 04/01/2019

A benchmark for C program verification

We present twenty-five C programs, as a benchmark for C program verifica...
0 Marko van Eekelen, et al. ∙
research
∙ 08/27/2019

Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning

Analyzing and verifying heap-manipulating programs automatically is chal...
0 Long H. Pham, et al. ∙
research
∙ 04/18/2022

Verification of Locally Tight Programs

ANTHEM is a proof assistant that can be used for verifying the correctne...
0 Jorge Fandinno, et al. ∙
research
∙ 12/12/2019

Formal Verification of Debates in Argumentation Theory

Humans engage in informal debates on a daily basis. By expressing their ...
0 Ria Jha, et al. ∙
research
∙ 06/01/2021

Quantifiers on Demand

Automated program verification is a difficult problem. It is undecidable...
0 Arie Gurfinkel, 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