laptop systems / direct applications / hardware computer systems / correct software / computer systems / secure applications / bank smart-card / integrity applications / unethical systems / software development / /
Organization
University of York Department of Computer Science Submitted / /
Person
Tony Hoare / Leo Freitas / /
Position
scheduler / General / formal model for separation kernels / candidate for formal modelling and verification / /
Technology
same processor / Operating System / operating systems / flash / /
The University of York Department of Computer Science Submitted in part fulfilment for the degree of MSc in Software Engineering.