State Transition Assertions

State Transition Assertions (STAs) was developed as part of the SAFEMOS project; a SERC and DTI funded collaboration between INMOS, SRI International, the Oxford University Programming Research Group and the University of Cambridge Computer Laboratory. Below are the two papers on STAs that were published, both in 1994.