CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The project aims to create a practical model checking tool called RACE for analyzing computer systems where components act based on their own goals. It focuses on formalizing and verifying the behavior of these systems to ensure they function effectively in a competitive environment.
The aim of this project is to develop, apply, and evaluate
RACE: a robust and practical model checking tool for use in the formal specification, verification, and analysis of computational economies – computer systems in which system components are assumed to have their own goals/preferences about the overall behaviour of the system, and where these system components are assumed to behave selfishly and strategically in the furtherance of their goals/preferences.
The key deliverables of the proje…
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
United Kingdom, Liverpool
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
