Path: csiph.com!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.arch.embedded
Subject: Re: (Semi-) formal methods
Date: Fri, 14 May 2021 12:22:31 -0700
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <87bl9dyvbc.fsf@nightsong.com>
References: <s7fara$f23$1@dont-email.me> <s7kcug$1usj$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="8b9c7676d27c13b7027087884137afe1"; logging-data="24467"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+93C0q0LFQMChLZF7jQxP9"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
Cancel-Lock: sha1:Wu4AMjXK9fiJx4ozvkHexx9XSVo= sha1:C6UC1nf/N43Cndq+LHtCoh6XPK4=
Xref: csiph.com comp.arch.embedded:30624

Dave Nadler <drn@nadler.com> writes:
>> How prevalent are (semi-) formal design methods employed?
> https://tinyurl.com/thbjw5j4

Wrong picture, try the one on this page:

   https://web.stanford.edu/~engler/

Look at the articles linked from there too ;-).