jStar-eclipse: an IDE for automated verification of Java programs.
Daiva NaudziunieneMatko BotincanDino DistefanoMike DoddsRadu GrigoreMatthew J. ParkinsonPublished in: SIGSOFT FSE (2011)
Keyphrases
- java programs
- automated verification
- development environments
- software components
- model checking
- automated reasoning
- formal verification
- software systems
- software development
- java language
- building blocks
- web services
- multi threaded
- model driven
- open source
- java virtual machine
- graph theory
- theorem proving
- real time
- source code
- test suite
- probabilistic reasoning
- constraint satisfaction
- natural language
- case study
- parallel algorithm
- social network analysis