CD-Form: A clone detector based on formal methods.

Antonio Cuomo Antonella Santone Umberto Villano

Published in: Sci. Comput. Program. (2014)

Keyphrases

formal methods
formal specification
formal analysis
artificial intelligence
knowledge based systems
safety critical
provably correct
software engineering
model checking
security properties
modeling language
process algebra