| From: wooks (wookiz at hotmail.com) Date: Thu Apr 30 13:58:32 EDT 2009 |
|
On Apr 30, 6:48 pm, Matthias Felleisen <matth... at ccs.neu.edu> wrote: > What are formal languages? > > Formal methods are verification systems that somehow establish > logical properties of software systems (or their models). > Slip of tongue... I meant formal specification languages.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}