System-level state equality detection for the formal dynamic verification of legacy distributed applications
From MaRDI portal
Publication:2413022
DOI10.1016/j.jlamp.2017.12.004zbMath1430.68153OpenAlexW2789276100MaRDI QIDQ2413022
Marion Guthmuller, Gabriel Corona, Martin Quinson
Publication date: 6 April 2018
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01900120/file/journal.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Uses Software
Cites Work
- Unnamed Item
- Model checking JAVA programs using JAVA PathFinder
- MPI-CHECK: a tool for checking Fortran 90 MPI programs
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Programming Languages and Systems
- Termination Analysis of C Programs Using Compiler Intermediate Languages
- Model Checking Nonblocking MPI Programs