Queen Mary University of London / Federal University of Pernambuco / /
IndustryTerm
model counting tool / software confidentiality / prototype tool / symbolic execution tool / cyber-physical systems / software reliability analysis technique / communication protocols / type systems / reliability analysis tool / /
Organization
Federal University of Pernambuco / pp. / National Aeronautics and Space Administration / Carnegie Mellon / U.S. Securities and Exchange Commission / IEEE Computer Society / University of London / /
Person
Sang Phan∗ Pasquale Malacaria / J. C. Symbolic / Pasquale Malacaria∗ Corina / Antonio Filieri / Corina S. Pas Marcelo / /
Position
driver / King / P. Abstract model / General / public observer / /