ACVisualizer: A visualization tool for APi-calculus.
Raheel AhmadShahram RahimiPublished in: Multiagent Grid Syst. (2008)
Keyphrases
- visualization tool
- open source
- visual exploration
- graphical user interface
- source code
- data analysis
- application programming interface
- visualization tools
- third party
- information visualization
- data sets
- automated deduction
- formal language
- code snippets
- computer algebra
- application developers
- model checking
- high level
- algebraic structure
- case study
- machine learning