A generic application (GA) is something that can be used as a basis for a number of specific applications. The GA is specified in sufficient detail to enable interlocking software for specific applications to be automatically generated, formally verified and simulated.

Share this article

Learn to build a solid safety case for rail control systems using formal verification

Fill out your information here.

Do you want news and upcoming events from Prover?

Fill out your information here.

More News & Articles