Re: Formal verification as another tool for ensuring OpenBSD quality

Andris wrote: Hi, I have read about formal verification, and it sounds like a perfect tool to outreach the project goals. I'm pretty sure developers know about it, so I'd like to read comments or opinions. http://en.wikipedia.org/wiki/Formal_verification Greetings. Well, just go ahead and

Re: Formal verification as another tool for ensuring OpenBSD quality

On 11/20/07, Andris [EMAIL PROTECTED] wrote: Hi, I have read about formal verification, and it sounds like a perfect tool to outreach the project goals. I'm pretty sure developers know about it, so I'd like to read comments or opinions. You'll want to check out the Z specification language.

Re: Formal verification as another tool for ensuring OpenBSD quality

On 11/20/07, Andris [EMAIL PROTECTED] wrote: Hi, I have read about formal verification, and it sounds like a perfect tool to outreach the project goals. I'm pretty sure developers know about it, so I'd like to read comments or opinions. Some Z links: The original de facto manual, outdated but

Formal verification as another tool for ensuring OpenBSD quality

Hi, I have read about formal verification, and it sounds like a perfect tool to outreach the project goals. I'm pretty sure developers know about it, so I'd like to read comments or opinions. http://en.wikipedia.org/wiki/Formal_verification Greetings.