View in EDS HTML Full Text PDF Full Text

Formal verification of bioinformatics software using model checking and theorem proving.

Saved in:

Bibliographic Details
Title:	Formal verification of bioinformatics software using model checking and theorem proving.
Authors:	Weerasena, Hansika¹ (AUTHOR), Jayasena, Aruna¹ (AUTHOR), Boucher, Christina¹ (AUTHOR), Mishra, Prabhat¹ (AUTHOR)
Source:	Briefings in Bioinformatics. Jul2025, Vol. 26 Issue 4, p1-13. 13p.
Database:	Business Source Ultimate
Full text is not displayed to guests. Login for full access.

Description
ISSN:	14675463
DOI:	10.1093/bib/bbaf383