palavras-chave Human-computer interaction formal specifications formal verification model-based development prototype verification system (PVS)
Digital Object Identifier (DOI) https://doi.org/10.1109/tse.2018.2804939 https://doi.org/10.1109/tse.2018.2804939