Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.
Raphaël MonatAntoine MinéPublished in: VMCAI (2017)
Keyphrases
- concurrent programs
- abstract interpretation
- termination analysis
- model checking
- process algebra
- static analysis
- active rules
- concurrent programming
- reasoning engine
- high level
- web applications
- relational databases
- data model
- formal specification
- dynamic analysis
- relational model
- active databases
- databases
- temporal logic
- formal methods
- control flow
- fine grained
- concurrent systems
- software engineering
- query processing