Technology Relations as Executable Specifications

1. Relations as Executable Specifications Taming Partiality and Non-determinism Using Invariants Nuno MacedoHugo PachecoAlcino CunhaHASLab — High Assurance Software Laboratory…