Hussak, Walter Keane, John A. A formal approach to determining parallel resource bindings The paper investigates the nature of the design process for parallel operating systems. It proposes a temporal logic-based formal methodology addressing the high-level design of such systems. In operating systems design, much use is made of the informal notion of resource bindings. A way of improving the high-level design of parallel systems is proposed by providing a formal language for enumerating the design space and thus enabling all high-level design alternatives to be represented. A design process to be used with this language is given, the aim being to establish the most appropriate binding. The process is temporal logic-based and permits high level design of parallel systems to be analysed, tested and, in certain cases, formally verified before implementation is embarked upon untagged;Information and Computing Sciences not elsewhere classified 2009-02-02
    https://repository.lboro.ac.uk/articles/conference_contribution/A_formal_approach_to_determining_parallel_resource_bindings/9403652