3 ms·
Will formal verification ever be possible for systems composed of a bunch of heterogeneous components working together? I'm thinking of a web application, where
by jarrett 12y ago
Will formal verification ever be possible for systems composed of a bunch of heterogeneous components working together? I'm thinking of a web application, where the software's behavior depends on the interaction of client-side scripts, stylesheets, server-side programs, databases, caching layers, and probably other components, all operating in the request-response cycle that fragments behavior into a bunch of separate runs of the various programs.
- dkarapetyan 12y agoWhy not? Each of those things can be treated as black boxes with well-defined interfaces.
- gsnedders 12y agoCertainly — it's just another parallel system. This is something things like CSP (Communicating Sequential Processes) — and see FDR2/FDR3 for programmatic verification — excel at.