Login / Signup

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.

Miroslav PopovicMarko PopovicSilvia GhilezanBranislav Kordic
Published in: ECBS (2019)
Keyphrases
  • high level
  • formal verification
  • management system
  • software engineering
  • software development
  • data management
  • software architecture
  • model checker