Login / Signup

Visual Programming Language for Model Checkers Based on Google Blockly.

Seiji YamashitaMasateru TsunodaTomoyuki Yokogawa
Published in: PROFES (2017)
Keyphrases
  • programming language
  • high level
  • general purpose
  • object oriented
  • specification language
  • machine learning
  • search engine
  • conceptual model
  • database management systems