Open AccessFormal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S)
Author(s) -
Naoki Asae
Publication year - 2021
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2021-038
Subject(s) - mutual exclusion , computer science , protocol (science) , variable (mathematics) , formal verification , formal methods , theoretical computer science , programming language , mathematics , medicine , mathematical analysis , alternative medicine , pathology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom