Incremental modelling and verification of the PCI Express transaction layer.
Peter BöhmPublished in: MEMOCODE (2009)
Keyphrases
- database
- model checking
- multi layer
- concurrency control
- transaction management
- incremental learning
- incremental version
- high speed
- application layer
- middle layer
- upper layer
- database transactions
- nested transactions
- formal analysis
- transaction processing
- fine grained
- operating system
- data structure
- image sequences
- website
- knowledge base
- databases