Modelling Java Concurrency: An Approach and a Uppaal Library.
Franco CicirelliAngelo FurfaroLibero NigroFrancesco PupoPublished in: FedCSIS (2013)
Keyphrases
- cross platform
- object oriented languages
- programming language
- model checking
- concurrency control
- java programs
- source code
- object oriented
- web applications
- java code
- byte code
- lightweight
- data flow
- development environment
- open source
- database systems
- controller synthesis
- concurrent programming
- timed automata
- distributed object
- object oriented programming
- transaction processing
- software systems