Visualization of logical formulas

Abstract

Visualization of logical formulas for classical propositional calculus gains a new meaning in the context of a huge development of SAT solvers which find solutions of satisfiability problems of bigger and more complex tasks including the ones of industrial meaning. The aim of this work is to create, using modern IT tools, a coherent and widely accessible system in a form of web application, which will be able to provide a coopertive system, as well as will help to visualize, analyze and transform logical formulas. The system itself is now in the initial, however, mature implementation phase. It is open for new ideas and methods. New functionalities have already been introduced but there are plans to create the new ones.

Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems

“…On the other hand, an approach to visualize logical formulas is proposed in (Klimek, 2018), where a widely accessible system in the form of a web application is initially implemented and the visualization methods are based on graphs. It does not refer directly to requirements definition, but the aim of the tool is to help to understand, analyze and examine logical formulas, what is also a significant step towards the user.…”