An Interactive Verification Tool Meets an IDE.
Martin HentschelStefan KäsdorfReiner HähnleRichard BubelPublished in: IFM (2014)
Keyphrases
- user friendly
- graphical interface
- visualization tool
- computer graphics
- virtual reality
- databases
- design tools
- user interaction
- software tools
- interactive exploration
- web environment
- formal verification
- information visualization
- user interface
- face recognition
- image sequences
- high level
- case study
- social networks
- information retrieval