@article{Raji2010c, Author = {Amine Raji and Philippe Dhaussy and Bruno Aizier}, Date-Added = {2010-08-26 19:26:04 +0200}, Date-Modified = {2010-09-20 11:52:56 +0200}, Journal = {MoDEVVa, Oslo Norway}, Title = {Automating Context Description for Software Formal Verification}, Year = {2010}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAbwAAAAAAbwAAgAAA2xlbwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMf3jDJIKwAAACElpw1Nb2RldnZhMTAucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAISfLyFuRRQAAAAAAAAAAAAEABQAACSAAAAAAAAAAAAAAAAAAAAAJTU9ERVZWQTEwAAAQAAgAAMf3cBIAAAARAAgAAMhbdSUAAAABABgAISWnACEWyQAhFo8ABATOAAQEwQADV8gAAgBRbGVvOlVzZXJzOmFtaW5lOkRvY3VtZW50czpNeSB3b3JraW5nIHJlcG9zaXRvcnk6UmVkYWN0aW9uOk1PREVWVkExMDpNb2RldnZhMTAucGRmAAAOABwADQBNAG8AZABlAHYAdgBhADEAMAAuAHAAZABmAA8ACAADAGwAZQBvABIATVVzZXJzL2FtaW5lL0RvY3VtZW50cy9NeSB3b3JraW5nIHJlcG9zaXRvcnkvUmVkYWN0aW9uL01PREVWVkExMC9Nb2RldnZhMTAucGRmAAATAAEvAAAVAAIADP//AACABdIcHR4fWCRjbGFzc2VzWiRjbGFzc25hbWWjHyAhXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0XxBELi4vRG9jdW1lbnRzL015IHdvcmtpbmcgcmVwb3NpdG9yeS9SZWRhY3Rpb24vTU9ERVZWQTEwL01vZGV2dmExMC5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKACYAJiAmcCcAJ7An8CjQKUAp0C5ALpAuwC+QL+AAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAxA=}}