Q-Modeler is seeking $1.56 million in funding. It has developed a no-code/low-code development platform over 20 person-years. The platform allows visual modeling to replace code from languages like Java and Python. It uses formal verification instead of traditional testing to prove an absence of bugs. Q-Modeler aims to partner with consulting and integration companies and be the first product to support AI-generated business processes.