A visual-programming environment for a temporal logic language

In this paper a visual programming environment, aimed for creating temporal logic sentences, rules and facts files using an object-oriented environment is presented. A graphical user interface allows the programmer to activate graphical symbols through a menu selection. The graphical symbols are grouped into classes: logical connectiveness, temporal logic operators, predicates, temporal logic models, etc. which are eventually correctly parsed and mapped into a source code written in the temporal logic language. A data base of library items allows the user to use and add, if required, other items in the language as soon as they are created. A knowledge data base is created using this tool to verify a computer communication protocol