Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.

Bjrnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen

Browse the full FM paper archive.