Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.

Sander de Putter Anton Wijs

Published in: FASE (2016)

Keyphrases

model checking
formal methods
verification method
formal specification
formal analysis
temporal logic
formal verification
java card
provably correct
concurrent systems
formal model
functional verification
databases
linear transformation
expert systems
website
image processing
computer vision
genetic algorithm