Blocking and Other Enhancements for Bottom-Up Model Generation Methods

Peter Baumgartner, Renate A. Schmidt

Model generation is a problem complementary to theorem proving and is important for fault analysis and debugging of formal specifications of security protocols, programs and termin…