Artificial intelligence • Expert systems • “Automatic” programming • Graphical programming • Program verification • Environments and tools • Workstations“Automatic” programming (MBSE?) • For almost 40 years the solution method, not the problem, whose specification has to be givenProgram verification • Program verification does not mean error-proof programs • There is no magic here either, mathematical Platform, but to network it I need… • a Service Mesh, but to secure it I need… • an automated Certificate Authority, and for more security I need… • a Container scanning and monitoring service, and to

Program State Program Point Transitions SolverPerformance Precision ESP: Path-Sensitive Program Verification in Polynomial Time Path-Sensitive Dataflow Analysis with Iterative RefinementMSVC has both Path-sensitive

follow-ups "The first exploration of Rust for HW-SW collaboration", "Rust for Formal Verification, Coq and SMT" and "Revisiting Renode -- a Swiss Army Knife for RISC-V based HW-SW

Using ingress host and secure ingress port to send request: From curl command: need attaching certificate file Access productpage 1) Generate client and server certificates and keys 2) Create a secret