Verifica S.L.U. is a tool for verifying reinforced-concrete sections of columns and beams (rectangular and T types) following the directives of EC2 (EuroCode 2) as implemented in the Italian normative (D.M. 9/01/1996). The solving routines are completely based on the “ultimate strength” model, which checks that the analyzed section is not overstressed. It uses a precise calculation of forces and their application points, interacts with the user through a simple and intuitive GUI, and presents results in graphical form using an integrated “interaction diagram”, often used in civil structure design. It was written using Kylix 2 OE.
Dynamic Probe Class Library (DPCL) is an object-based C++ class library that provides the necessary infrastructure to allow tool developers and sophisticated tool users to build parallel and serial tools through technology called dynamic instrumentation. DPCL takes the basic components needed by tool developers and encapsulates them into C++ classes. Each of these classes provide the member functions necessary to interact and dynamically instrument a running application with software patches called probes. Dynamic instrumentation provides the flexibility for tools to insert probes into applications as the application is running and only where it is needed.