| Conţinutul numărului revistei |
| Articolul precedent |
| Articolul urmator |
 |
 900 2 |
| Ultima descărcare din IBN: 2019-02-28 20:17 |
| Căutarea după subiecte similare conform CZU |
| 004.9+519.6 (3) |
| Informatică aplicată. Tehnici bazate pe calculator cu aplicații practice (438) |
| Matematică computațională. Analiză numerică. Programarea calculatoarelor (123) |
 SM ISO690:2012IVANOV, Ievgen, KORNILOWICZ, Artur, NIKITCHENKO, Mykola. Implementation of the Composition-nominative Approach to Program Formalization in Mizar. In: Computer Science Journal of Moldova, 2018, nr. 1(76), pp. 59-76. ISSN 1561-4042. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
 Computer Science Journal of Moldova |
||||||
| Numărul 1(76) / 2018 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
| CZU: 004.9+519.6 | ||||||
| Pag. 59-76 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on the first-order logic and axiomatic set theory. The further aim of this work is development of a formal verification tool for software which processes and communicates with complex forms of data. |
||||||
| Cuvinte-cheie Formal methods, program semantics, semistructured data, formalization, proof assistant. |
||||||
|
Google Scholar Export
<meta name="citation_title" content="Implementation of the Composition-nominative Approach to Program Formalization in Mizar"> <meta name="citation_author" content="Ivanov Ievgen"> <meta name="citation_author" content="Kornilowicz Artur"> <meta name="citation_author" content="Nikitchenko Mykola"> <meta name="citation_publication_date" content="2018/03/31"> <meta name="citation_journal_title" content="Computer Science Journal of Moldova"> <meta name="citation_volume" content="76"> <meta name="citation_issue" content="1"> <meta name="citation_firstpage" content="59"> <meta name="citation_lastpage" content="76"> <meta name="citation_pdf_url" content="https://ibn.idsi.md/sites/default/files/imag_file/59-76.pdf">
|
|
|
