TY  - RPRT
TI  - Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
AU  - Karban, Robert
AU  - Gomes, Ivan
AU  - Andolfato, Luigi
AU  - Ráth, István
AU  - Molnar, Vince
AU  - Micskei, Zoltan
AU  - Hajdu, Ákos
AU  - Graics, Bence
AU  - Horváth, Benedek
PY  - 2020
UR  - https://ntrs.nasa.gov/citations/20220001479
ID  - 20220001479
ER  -