A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.
Eric GoubaultEmmanuel HaucourtPublished in: CONCUR (2005)
Keyphrases
- practical application
- static analysis
- concurrent programs
- process algebra
- dynamic analysis
- source code
- formal specification
- model checking
- concurrent systems
- asynchronous circuits
- formal methods
- abstract interpretation
- regular expressions
- communication protocols
- java card
- formal semantics
- specification language
- test suite
- concurrent programming
- concurrent processes
- web services composition
- temporal logic
- artificial intelligence
- open source
- xml documents