Probabilistic Formal Verification of the SATS Concept of Operation

Sardar, Muhammad Usama; Afaq, Nida; Hoque, Khaza Anuarul; Johnson, Taylor T.; Hasan, Osman

doi:10.1007/978-3-319-40648-0_15

by Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan

Reference:

Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan, "Probabilistic Formal Verification of the SATS Concept of Operation", In Proceedings of the 8th NASA Formal Methods (NFM 2016) International Symposium (Sanjai Rayadurgam, Oksana Tkachuk, eds.), Springer International Publishing, pp. 191–205, 2016, june.

Bibtex Entry:

@inproceedings{sardar2016nfm,
author="Sardar, Muhammad Usama
and Afaq, Nida
and Khaza Anuarul Hoque
and Taylor T. Johnson
and Osman Hasan",
editor="Rayadurgam, Sanjai
and Tkachuk, Oksana",
title="Probabilistic Formal Verification of the SATS Concept of Operation",
booktitle="Proceedings of the 8th NASA Formal Methods (<a href="http://crisys.cs.umn.edu/nfm2016/">NFM 2016</a>) International Symposium",
year="2016",
month = june,
publisher="Springer International Publishing",
pages="191--205",
isbn="978-3-319-40648-0",
doi="10.1007/978-3-319-40648-0_15",
pdf = {http://www.taylortjohnson.com/research/sardar2016nfm.pdf},
}