Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules.
Vladimir HerdtHoang Minh LeDaniel GroßeRolf DrechslerPublished in: ATVA (2015)
Keyphrases
- multi threaded
- information flow
- multithreading
- multi core processors
- operating system
- scheduling problem
- computer architecture
- ensemble methods
- real time
- high level
- model checking
- text categorization
- ensemble learning
- parallel computing
- computer programs
- formal methods
- general purpose
- evolutionary algorithm
- feature selection