Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking (1999)

by T Bienmüller, U Brockmeyer, W Damm, G Döhmen, C Eßmann, H-J Holberg, H Hungar, B Josko, R Schlör, G Wittich, H Wittke, G Clements, J Rowlands, E Sefton
Venue:in Proc. of Safety-critical Systems Symposium. Safety-Critical Systems Club