FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
Eunkyoung JeeSeungjae JeonSung Deok ChaKwang Yong KohJunbeom YooGee-Yong ParkPoong-Hyun SeongPublished in: J. Res. Pract. Inf. Technol. (2010)
Keyphrases
- formal verification
- visual analysis
- model checking
- interactive exploration
- visual analytics
- information visualization
- model checker
- automated analysis
- symbolic model checking
- bounded model checking
- temporal logic
- eye tracking data
- program slicing
- automated verification
- data visualization
- data analysis
- databases
- interactive visualization
- artificial intelligence
- computer graphics