A complete mechanization of correctness of a string-preprocessing algorithm
type: Item
instance of: scholarly article
title: A complete mechanization of correctness of a string-preprocessing algorithm
zbMATH Open document ID: 1085.68149
author: Milos Besta
author: Frank Stomp
published in: Formal Methods in System Design
publication date: 2006-02-20T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68P10
zbMATH DE Number: 5007758
zbMATH Keywords: formal methods
zbMATH Keywords: pattern matching
zbMATH Keywords: theorem proving
zbMATH Keywords: PVS
describes a project that uses: Nuprl
describes a project that uses: UNITY
describes a project that uses: PVS
describes a project that uses: HOL
describes a project that uses: ML
MaRDI profile type: Publication
full work available at URL: s10703-005-2243-0
OpenAlex ID: W2008530822
cites work: Q4385510
cites work: A fast string searching algorithm
cites work: Q4692502
cites work: Q3619797
cites work: Q5287513
cites work: Algorithms on Strings, Trees and Sequences
cites work: Fast Pattern Matching in Strings
cites work: Q4002642
cites work: A Correct Preprocessing Algorithm for Boyer–Moore String-Searching
cites work: Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm
cites work: A taxonomy of sublinear multiple keyword pattern matching algorithms
DOI: 10.1007/S10703-005-2243-0
Recommended article: Completeness of string analysis for dynamic languages
Recommended article: Fast string correction with Levenshtein automata
Recommended article: Computational and Proof Complexity of Partial String Avoidability
Recommended article: Q4608614
Recommended article: An Evaluation of Automata Algorithms for String Analysis
Recommended article: Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm
Recommended article: Termination of string rewriting proved automatically
Recommended article: Symbolic String Verification: Combining String Analysis and Size Analysis
Recommended article: On a cyclic string-to-string correction problem
description: scientific article; zbMATH DE number 5007758