Sign in
Formal Verification of the Race Condition Vulnerability in Ladder Programs.
Soraya Mesli-Kesraoui
Olga Goubali
Djamal Kesraoui
Ibtihal Eloumami
Flávio Oquendo
Published in:
CCTA (2020)
Keyphrases
</>
formal verification
program slicing
model checking
bounded model checking
model checker
automated verification
sufficient conditions
symbolic model checking
computer programs
artificial intelligence
source code
temporal logic
theorem prover