https://stabileo.com/en/blog/ Notes on the solver, structural-code checks and the decisions behind them, written by the people who build the software. en Mon, 26 Oct 2026 12:00:00 GMT https://stabileo.com/en/blog/end-to-end-certificates/ https://stabileo.com/en/blog/end-to-end-certificates/ Thu, 22 Oct 2026 12:00:00 GMT A certificate that proves a wrongly assembled system was solved correctly is not worth much. How Stabileo rebuilds every frame model on its own and certifies the result against the model, what that found, and what it leaves out. https://stabileo.com/en/blog/same-model-same-numbers/ https://stabileo.com/en/blog/same-model-same-numbers/ Thu, 22 Oct 2026 12:00:00 GMT Two solves of the same model in one session could differ in the last digits. Why that happened, how we fixed it, and how every report now says which version and which data produced it, so anyone can reproduce it. https://stabileo.com/en/blog/stabileo-0-3-0/ https://stabileo.com/en/blog/stabileo-0-3-0/ Wed, 21 Oct 2026 12:00:00 GMT What changed since 0.2.0: sixteen defects that could give a wrong result, fixed and published as advisories; certificates that check the result against the model; and the same numbers on every solve. https://stabileo.com/en/blog/safety-advisories/ https://stabileo.com/en/blog/safety-advisories/ Tue, 20 Oct 2026 12:00:00 GMT The Stabileo defects that could give wrong or unconservative results: who they affect, how to tell whether a model is affected, what to do in the meantime and when they were fixed. https://stabileo.com/en/blog/how-stabileo-checks-its-results/ https://stabileo.com/en/blog/how-stabileo-checks-its-results/ Tue, 20 Oct 2026 12:00:00 GMT The solver, formal verification and AI: how we look for errors in the numbers Stabileo gives, what the certificates prove and what no verification can guarantee. https://stabileo.com/en/blog/bars-or-finite-elements/ https://stabileo.com/en/blog/bars-or-finite-elements/ Wed, 23 Sep 2026 12:00:00 GMT For a prismatic member, the stiffness method is the exact special case of the finite element method. What changes is the model, and for a deep beam the frame model gives a deflection 19 to 34% too small. https://stabileo.com/en/blog/torsion-bredt-saint-venant/ https://stabileo.com/en/blog/torsion-bredt-saint-venant/ Sat, 29 Aug 2026 12:00:00 GMT Three formulas, one section, three different numbers. Which one applies depends on the wall; where two apply at once, Bredt comes out 2 to 15% low. https://stabileo.com/en/blog/verificacion-flexion-cirsoc-201/ https://stabileo.com/en/blog/verificacion-flexion-cirsoc-201/ Wed, 26 Aug 2026 12:00:00 GMT Almost everyone remembers φMn ≥ Mu. That is the last line of the check, not the check. The outcome is decided earlier, and one of those steps can pull φ below 0.9. https://stabileo.com/en/blog/conceptual-side-advanced-tools/ https://stabileo.com/en/blog/conceptual-side-advanced-tools/ Fri, 21 Aug 2026 12:00:00 GMT There is free structural software, and it is good: it models, it solves, it shows results. What we could not find is one that approaches the advanced tools from the conceptual side. https://stabileo.com/en/blog/the-determinism-boundary/ https://stabileo.com/en/blog/the-determinism-boundary/ Wed, 12 Aug 2026 12:00:00 GMT A language model cannot guarantee that a number is right. In the architecture we propose for structural engineering, the agent interprets and proposes, and every number comes from a verified solver.