Readable, runnable requirements specifications in SPILL-2

Strange Stars and Related Astrophysical Phenomena

“…Furthermore, if γ-ray bursts are the consequence of the merger of two compact stars, even a single merger event involves a strange star, and all pulsars are then strange stars. 80 On the other hand, these arguments do not necessarily disprove the existence of strange stars for the following reasons. (i) In order to disrupt a strange star, its companion must also be a very compact object, e.g., a neutron star or a black hole but not a white dwarf because the tidal force must be strong enough to disrupt the strange star.…”