Results 81 to 90 of about 117,405 (209)

LLM mathematical reasoning grounded with formal verification [PDF]

Allen He
openalex   +1 more source

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

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Formal verification: will the seedling ever flower? [PDF]

Philos Trans A Math Phys Eng Sci, 2017
White N, Matthews S, Chapman R.
europepmc   +1 more source

Lessons from Formally Verified Deployed Software Systems

Li Huang, Yeguo Wang, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu   +4 more
openalex   +1 more source

Formal Property Verification [PDF]

, 2016
Limor Fix, Ken McMillan, Norris Ip, Leopold Haller   +3 more
openaire   +1 more source

Formal Verification of Recursive Predicates

, 2007
Richard Bubel
openalex   +1 more source

Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques. [PDF]

Front Mol Biosci
Azhar HMF, Saeed MT, Jabeen I.
europepmc   +1 more source

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs

, 2012
Rajiv Murali, Andrew Ireland
openalex   +1 more source

A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]

PLoS One
Pérez-Gaspar M, Gomez J, Bárcenas E, Garcia F.   +3 more
europepmc   +1 more source

Formal Specification and Verification of Ubiquitous and Pervasive Systems [PDF]

, 2011
Antonio Coronato, Giuseppe De Pietro
openalex   +1 more source