Invited Talk
Industrial applications of propositional logic
Dr. Gunnar Stålmarck, (Logikkonsult, Sweden)

During the last five years a methodology has been developed in order to verify railway interlocking software in a joint project between Logikkonsult NP AB and Adtranz Signal (former ABB Signal). The methodology includes modelling of generic requirements on rail yards and interlocking software in propositional logic and automated theorem proving. Two tools have been developed that are used in the regular development and verification process at Adtranz Signal.

The methodology will be presented at the users level and the formal basis, including the principles underlying the theorem proving procedure, will be presented.


Back to home-page TYPES'98

Bernhard Reus (28.01.98)