jQuery('#ajaxmodal .modal-body-content').html('
\nRecorded\n17 September 2012\nin Lausanne, Vaud, Switzerland\n<\/p>\n
\nEvent:<\/b>\nntass 2012<\/a>\n- Nano-Tera/Artist Summer School 2012\n<\/p>\n Spec# is a programming system, which consists of the Spec# programming language, a verification methodology, and a static verifier. The language extends C# with non-null types, method contracts, and object invariants. The verification methodology allows one to reason about complex heap data structures in the presence of aliasing and call-backs. The static verifier is based on the Boogie verification engine and the automatic theorem prover Z3. This lecture will give an introduction to the Spec# system with an emphasis on the verification methodology.<\/p>\n\n<\/div>\n Watched 692 times.<\/p>\n<\/i> Watch<\/a>\n<\/div>\n<\/div>\n<\/div>\n');
jQuery('#ajaxmodal .modal-title').html("Talk Details");
jQuery('#ajaxmodal').modal({keyboard: true, show: true});
Abstract<\/h4>\n