Projekti-ideed : Formaalse verifitseerimise tarkvara

From mmmv_kos
Jump to: navigation, search

Projekti-ideed


2018 05 xx formaalsete meetodite kasutamise skeem t1.jpeg


Põhjendus, et miks on universaalkeelena kasutuatud just LISP'i/Scheme'i, on et formaalse analüüsi testide kirjutamine on manuaalne töö ning LISP'i/Scheme'i kompilaatori riistvaraga kohaldamine on manuaalne töö ja subjektiivselt näib mulle, ilma mõõtmisteta, et LISP'i/Scheme'i korral on seoses primitiivsusega inimvigade tekkimise tõenäosus väiksem ning ka töömaht väiksem. Ehk siis, LISP'i/Scheme'i kasutamise eelistamine on puhtalt subjektiivse maitse küsimus.


mmmv_SubLISP_t1

mmmv_SubLISP_t1 oleks REDUCE lisp'i alam-hulk, mis oleks hästi hõlbsalt kohaldatav, ka mikrokontrolleritele. Üldskeem oleks,

   C -> mmmv_SubLISP_t1 -> konkreetne_riistvara

Paistab, et see pole sugugi originaal-idee ja järgnevalt kirjeldatud teadusartikkel väärib tõsist uurimist:

Võibolla õnnestub selle põhjalt magistritöö ära teha.