Edit distance metrics are widely used for many applications such as string comparison and spelling error corrections. Hamming distance is a metric for two equal length strings and Damerau-Levenshtein distance is a well-known metrics for making spelling corrections through string-to-string comparison. Previous distance metrics seems to be appropriate for alphabetic languages like English and Eur...

Approximate satisfaction of safety and liveness propertiess Model checkingg Ver-iication tools Abstract. The sh-veriication tool comprises computing abstractions of nite-state behaviour representations as well as automata and temporal logic based ver-iication approaches. To be suitable for the veriication of so called cooperating systems, a modiied type of satisfaction relation (approximate sat...