|
|
|
|
|
|
|
[Original]
[Print]
[Top]
|
Hey all,
I am doing some research on axiomatic semantics and had heard that the linux kernel had been proven correct at one point via some method like axiomatic semantics. However, i can't find any where that talks about this, can anyone point me to where the linux kernel has been proven correct?
thanks,
- legit
|
|
|
[Original]
[Print]
[Top]
|
|
[Original]
[Print]
[Top]
|
there is no point or stage where it is written axiomatic semantics
the only think is to write code with proper semantics and one think
must to remember is that U all that u write is anyhow linked with other
codes. Just go through it
|
|
|
[Original]
[Print]
[Top]
|
|
|
The content of this page is collected from Linux Forum, All copyrights and other associated rights are reserved by the original authors of the articles.