ProB2-UI: A Java-Based User Interface for ProB
Jens Bendisposto, David Geleßus, Yumiko Jansing, Michaël Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth
Topics & Concepts
Computer scienceRotation formalisms in three dimensionsProgramming languageSolverUser interfaceJavaInterface (matter)Event (particle physics)Human–computer interactionOperating systemPhysicsMathematicsMaximum bubble pressure methodGeometryQuantum mechanicsBubbleFormal Methods in VerificationLogic, programming, and type systemsModel-Driven Software Engineering Techniques