Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.
Alexandra HalchinAdja Ndeye SyllaSarah BenyagoubAbderrahmane FeliachiYoann FonteneauSven LegerPublished in: RSSRail (2023)
Keyphrases
- formal proof
- computer systems
- industrial strength
- expert systems
- neural network
- computing systems
- software projects
- high assurance
- safety analysis
- graphical user interfaces
- software design
- software developers
- embedded systems
- knowledge based systems
- software development
- distributed systems
- web services
- information systems