Covering sharing trees: a compact data structure for parameterized verification.
Giorgio DelzannoJean-François RaskinLaurent Van BeginPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- compact data structure
- itemsets
- data structure
- model checking
- decision trees
- sliding window
- data sharing
- knowledge sharing
- information sharing
- tree structure
- real time
- formal verification
- artificial intelligence
- learning algorithm
- formal analysis
- tree structures
- phylogenetic trees
- binary tree
- signature verification
- tree models
- concurrent systems
- unordered trees
- minimum volume
- data mining