ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Yuri E. Glushko 2:5020/400 07 Oct 2002 18:16:08
To : Vitaly.Lugovsky@ontil.ihep.su
Subject : Re: g++
--------------------------------------------------------------------------------
.ua> <m3bs6b5sck.fsf@lexa.home.net> <ank5mm$2pi6$3@f1003.n5080.z2.fidonet.org>
From: "Yuri E. Glushko" <juzzeast@ecsat.kiev.ua>
<Vitaly.Lugovsky@ontil.ihep.su> wrote in message
news:ank5mm$2pi6$3@f1003.n5080.z2.fidonet.org...
> формального доказательства - это
Кстати!
Подкинь, плиз, парочку урлов по методикам/инструментам формальной
верификации программ.
Желательно чтоб среди них было что-то о в. применительно к императивным
алгоритмам... насколько это вообще возможно...
--- ifmail v.2.15dev5
* Origin: Infopulse Ukraine Ltd. (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
| Тема: |
Автор: |
Дата: |
|
Re: g++ |
Vitaly.Lugovsky@ontil.ihep.su |
02 Oct 2002 20:57:56 |
 Re: g++ |
Boris Veytsman |
02 Oct 2002 21:16:36 |
 Re: g++ |
Vladimir Bormotov |
02 Oct 2002 21:49:12 |
 Re: g++ |
Boris Veytsman |
02 Oct 2002 22:21:42 |
|
Re: g++ |
Yuri E. Glushko |
03 Oct 2002 21:09:46 |
|
Re: g++ |
Vladimir Bormotov |
03 Oct 2002 21:44:24 |
|
Re: g++ |
Alex Tomas |
03 Oct 2002 22:02:49 |
 Re: g++ |
Vladimir Bormotov |
04 Oct 2002 00:01:00 |
|
Re: g++ |
Vitaly.Lugovsky@ontil.ihep.su |
04 Oct 2002 18:39:34 |
|
Re: g++ |
Yuri E. Glushko |
07 Oct 2002 18:16:08 |
|
Re: g++ |
Aleksey Cheusov |
09 Oct 2002 15:31:38 |
|
Re: g++ |
Alex Tomas |
07 Oct 2002 18:16:13 |
|
Re: g++ |
Valentin Nechayev |
07 Oct 2002 18:18:52 |
|
Re: g++ |
Eugene Karpachov |
08 Oct 2002 01:52:35 |
|
Re: g++ |
Valentin Nechayev |
08 Oct 2002 10:13:03 |
|
Re: g++ |
Yuri E. Glushko |
04 Oct 2002 13:49:56 |
|
Re: g++ |
Vitaly.Lugovsky@ontil.ihep.su |
04 Oct 2002 18:42:46 |
|
Re: g++ |
Yuri E. Glushko |
07 Oct 2002 18:16:45 |
|
Re: g++ |
Vladimir Bormotov |
07 Oct 2002 18:13:05 |
|
|
