Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Konstruowanie specyfikacji i weryfikacja oprogramowania

2013/11/B/ST6/01381

Słowa kluczowe:

logika specyfikacja weryfikacja oprogramowania

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_3: Systemy programowania, systemy operacyjne, metody rozwoju oprogramowania, języki programowania
  • ST1_1: Logika i podstawy matematyki

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Andrzej Tarlecki 

Liczba wykonawców projektu: 6

Konkurs: OPUS 6 - ogłoszony 2013-09-16

Przyznana kwota: 496 260 PLN

Rozpoczęcie projektu: 2014-07-16

Zakończenie projektu: 2018-06-15

Planowany czas trwania projektu: 47 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Notebook (3 szt.). Za kwotę 15 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (2)
  • Publikacje książkowe (5)
  1. Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation
    Autorzy:
    Grzegorz Marczyński, Donald Sannella, Andrzej Tarlecki
    Czasopismo:
    International Journal of Software and Informatics (rok: 2015, tom: 9(2), strony: 117-139), Wydawca: ISCAS, IfColog, SCP
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  1. Towards verification of Ethereum smart contracts: a formalization of core of Solidity
    Autorzy:
    Jakub Zakrzewski
    Konferencja:
    10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja July 18-19, 2018
    Status:
    Opublikowana
  2. A Java bytecode formalization
    Autorzy:
    Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert
    Konferencja:
    10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja July 18-19, 2018
    Status:
    Opublikowana
    Doi:
    link do publikacji
  1. On Normal Forms for Structured Specifications with Generating Constraints
    Autorzy:
    Donald Sannella, Andrzej Tarlecki
    Książka:
    Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (rok: 2018, tom: LNCS 10800, strony: 266-284), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Coq Support in HAHA
    Autorzy:
    Jacek Chrząszcz, Aleksy Schubert, and Jakub Zakrzewski
    Książka:
    21st International Conference on Types for Proofs and Programs (TYPES 2014) (rok: 2016, tom: 97, strony: 8:1--8:26), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Function definitions for compound values in object-oriented languages
    Autorzy:
    Jacek Chrząszcz, Aleksy Schubert
    Książka:
    Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (rok: 2017, tom: bd., strony: 61-72), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    link do publikacji
  4. Modularity of Ontologies in an Arbitrary Institution
    Autorzy:
    Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
    Książka:
    Logic, Rewriting, and Concurrency - Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (rok: 2015, tom: LNCS 9200, strony: 361-379), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. The foundational legacy of ASL
    Autorzy:
    Donald Sannella, Andrzej Tarlecki
    Książka:
    Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (rok: 2015, tom: LNCS 8950, strony: 253-272), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy