Login / Signup
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.
Luca Durante
Riccardo Sisto
Adriano Valenzano
Published in:
FORTE (2000)
Keyphrases
</>
state space
formal verification
database
data sets
genetic algorithm
expert systems
relational databases
dynamic programming
face verification
symbolic execution