On 07/27/2013 08:36 PM, Kiefmann Bernhard wrote:
> As you can read below, I need some information regarding the development of
> the GCC's. Some of the questions below were answered me already but I can not
> find any references to the use of formal or semi-formal methods. as
> - Logic / function
Hello,
On Fri, 2013-03-29 at 20:35 +, Kiefmann Bernhard wrote:
> Dear Ladies and Gentlemen!
>
> My name is Bernhard Kiefmann and I'm writing my Master's thesis with
> the topic "the suitability of the GNU C compiler used in safety-related
> areas".
I can imagine that it could be important t
On 3/29/2013 1:35 PM, Kiefmann Bernhard wrote:
Dear Ladies and Gentlemen!
My name is Bernhard Kiefmann and I'm writing my Master's thesis with
the topic "the suitability of the GNU C compiler used in
safety-related areas". The first problem with this is that I have to
check if the compiler met
Kiefmann Bernhard wrote:
My name is Bernhard Kiefmann and I'm writing my Master's thesis with the topic "the
suitability of the GNU C compiler used in safety-related areas". The first problem
with this is that I have to check if the compiler met the requirements of the
international standard I
On 03/29/2013 01:35 PM, Kiefmann Bernhard wrote:
Dear Ladies and Gentlemen!
My name is Bernhard Kiefmann and I'm writing my Master's thesis with the topic "the
suitability of the GNU C compiler used in safety-related areas". The first problem
with this is that I have to check if the compiler m
