An approach to formal verification of python software transactional memory.
Branislav KordicMiroslav PopovicSilvia GhilezanIlija BasicevicPublished in: ECBS (2017)
Keyphrases
- formal verification
- model checking
- program slicing
- symbolic model checking
- open source
- blue gene
- hardware design
- artificial intelligence
- programming language
- transactional memory
- software development
- speculative execution
- massively parallel
- software systems
- input output
- operating system
- source code
- software engineering