Visual Programming Language for Model Checkers Based on Google Blockly.

Seiji Yamashita, Masateru Tsunoda, Tomoyuki Yokogawa

Browse the full PROFES paper archive.