Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Is there any formal specification of standard library functions?

April 26, 2017formal functions library specification standard

0

Posted

Is there any formal specification of standard library functions?

1 Answer

0

Posted

Frama-C is not shipped with a formal specification of standard library functions, except for strings functions which can be found in jessie_prolog.h file.