Skip to main content

Schools & departments
MyEd

LFCS Laboratory for Foundations of Computer Science

Subsite menu

Home
About us
People
People
Research
Research
Study with us
Study with us
Events
Events
News
News
LFCS Seminar: Tuesday, 5 August: Michael Sperber

Subsite mobile menu

Home
About us
People
Research
Study with us
Events
News
LFCS Seminar: Tuesday, 5 August: Michael Sperber

Subsite menu

Algorithms and Computational Complexity
Database Group
Logic, Semantics and Concurrency
Mobility and Security
PEPA Group
Programming Languages and Foundations
Quantum Informatics
Security, Privacy and Trust
Software engineering
Verification, Testing, and Model Checking
Research software

Breadcrumb

Home
School of Informatics
LFCS
Research
Verification, Testing, and Model Checking

Verification, Testing, and Model Checking

Verification, Testing, and Model Checking Summary

Under construction

This article was published on Sunday 8 December 2024

The University of Edinburgh

Terms & conditions
Privacy & cookies
Complaints procedure
Modern slavery

Website accessibility
Freedom of information publication scheme
Data protection / Records Management
Digital Sustainability

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2026.

User account menu

CMS login