Skip to main content

Research

Home
Register: Research Forum

No results

Using and Building an Automatic Program Verifier (Lecture 1)

Rustan Leino

LASER Summer School 2011 Elba, Italy | September 2011

Download BibTex

Functional correctness
Limited checking

Opens in a new tab

Publication

Groups

Research in Software Engineering (RiSE)

Research Areas

Programming languages and software engineering

Follow us:

Follow on X
Like on Facebook
Follow on LinkedIn
Subscribe on Youtube
Follow on Instagram
Subscribe to our RSS feed

Share this page:

Share on X
Share on Facebook
Share on LinkedIn
Share on Reddit

What's new

Surface Pro
Surface Laptop
Surface Laptop Studio 2
Copilot for organizations
Copilot for personal use
AI in Windows
Explore Microsoft products
Windows 11 apps

Microsoft Store

Account profile
Download Center
Microsoft Store support
Returns
Order tracking
Certified Refurbished
Microsoft Store Promise
Flexible Payments

Education

Microsoft in education
Devices for education
Microsoft Teams for Education
Microsoft 365 Education
How to buy for your school
Educator training and development
Deals for students and parents
AI for education

Business

Microsoft Cloud
Microsoft Security
Dynamics 365
Microsoft 365
Microsoft Power Platform
Microsoft Teams
Microsoft 365 Copilot
Small Business

Developer & IT

Azure
Microsoft Developer
Microsoft Learn
Support for AI marketplace apps
Microsoft Tech Community
Azure Marketplace
AppSource
Visual Studio

Company

Careers
About Microsoft
Company news
Privacy at Microsoft
Investors
Diversity and inclusion
Accessibility
Sustainability

Your Privacy Choices

Your Privacy Choices

Consumer Health Privacy

Sitemap
Contact Microsoft
Privacy
Manage cookies
Terms of use
Trademarks
Safety & eco
Recycling
About our ads
© Microsoft 2025