주 콘텐츠로 건너뛰기
Microsoft
Research
Research
Research
홈
Our research
Resources
Resources
Publications
Code & data
People
Microsoft Research blog
Research areas: Intelligence
Research areas: Intelligence
Artificial intelligence
Audio & acoustics
Computer vision
Graphics & multimedia
Human-computer interaction
Human language technologies
Search & information retrieval
Research areas: Systems
Research areas: Systems
Data platforms and analytics
Hardware & devices
Programming languages & software engineering
Quantum computing
Security, privacy & cryptography
Systems & networking
Research areas: Theory
Research areas: Theory
Algorithms
Mathematics
Research areas: Other Sciences
Research areas: Other Sciences
Ecology & environment
Economics
Medical, health & genomics
Social sciences
Technology for emerging markets
Programs & events
Academic programs
Events & academic conferences
Microsoft Research Forum
Connect & learn
Behind the Tech podcast
Microsoft Research blog
Microsoft Research Forum
Microsoft Research podcast
About
People & news
People & news
About Microsoft Research
Careers & internships
People
Emeritus program
News & awards
Microsoft Research newsletter
Microsoft Research Labs
Microsoft Research Labs
Africa
AI for Science
AI Frontiers
Asia-Pacific
Cambridge
Health Futures
India
Montreal
New England
New York City
Redmond
Other labs
Other labs
Applied Sciences
Mixed Reality & AI - Cambridge
Mixed Reality & AI - Zurich
자세히
Register: Research Forum
Microsoft 전체
Global
Microsoft Security
Azure
Dynamics 365
Microsoft 365
Microsoft Teams
Windows 365
기술 및 혁신
기술 및 혁신
Microsoft Cloud
AI
Azure Space
혼합 현실
Microsoft HoloLens
Microsoft Viva
양자 컴퓨팅
지속 가능성
산업 분야
산업 분야
교육
자동차
금융 서비스
정부 기관
의료
제조업
소매
모든 산업
파트너
파트너
파트너 찾기
파트너 되기
파트너 네트워크
Azure Marketplace
AppSource
더 많은 정보
더 많은 정보
블로그
Microsoft Advertising
개발자 센터
설명서
이벤트
라이선스
Microsoft Learn
Microsoft Research
사이트맵 보기
검색
Search Microsoft Research
결과 없음
취소
Code Contracts
설립: October 28, 2008
출판물
다운로드
비디오
Microsoft Research 블로그
비디오
로딩 중...
기간
02:00
Demo of the CodeContracts static checker with code fixes
September 21, 2012
Speakers :
Francesco Logozzo
우리를 따르라:
X에서 팔로우하기
Facebook에서 좋아요 누르기
링크드인 팔로오
Youtube에서 구독하기
인스타그램 팔로우
RSS 피드 구독
이 페이지 공유:
X에서 공유
페이스북 공유
링크드인 공유
카카오스토리 공유
