Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Specification development and software verification

2013/11/B/ST6/01381

Keywords:

logic specification program verification

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_3: Software engineering, operating systems, software development methods, programming languages
  • ST1_1: Logic and foundations

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Andrzej Tarlecki 

Number of co-investigators in the project: 6

Call: OPUS 6 - announced on 2013-09-16

Amount awarded: 496 260 PLN

Project start date (Y-m-d): 2014-07-16

Project end date (Y-m-d): 2018-06-15

Project duration:: 47 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Notebook (3 szt.) (15 000 PLN)

Information in the final report

  • Publication in academic press/journals (1)
  • Articles in post-conference publications (2)
  • Book publications / chapters in book publications (5)
  1. Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation
    Authors:
    Grzegorz Marczyński, Donald Sannella, Andrzej Tarlecki
    Academic press:
    International Journal of Software and Informatics (rok: 2015, tom: 9(2), strony: 117-139), Wydawca: ISCAS, IfColog, SCP
    Status:
    Published
  1. Towards verification of Ethereum smart contracts: a formalization of core of Solidity
    Authors:
    Jakub Zakrzewski
    Conference:
    10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja July 18-19, 2018
    Status:
    Published
  2. A Java bytecode formalization
    Authors:
    Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert
    Conference:
    10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja July 18-19, 2018
    Status:
    Published
  1. On Normal Forms for Structured Specifications with Generating Constraints
    Authors:
    Donald Sannella, Andrzej Tarlecki
    Book:
    Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (rok: 2018, tom: LNCS 10800, strony: 266-284), Wydawca: Springer
    Status:
    Published
  2. Coq Support in HAHA
    Authors:
    Jacek Chrząszcz, Aleksy Schubert, and Jakub Zakrzewski
    Book:
    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:
    Published
  3. Function definitions for compound values in object-oriented languages
    Authors:
    Jacek Chrząszcz, Aleksy Schubert
    Book:
    Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (rok: 2017, tom: bd., strony: 61-72), Wydawca: ACM
    Status:
    Published
  4. Modularity of Ontologies in an Arbitrary Institution
    Authors:
    Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
    Book:
    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:
    Published
  5. The foundational legacy of ASL
    Authors:
    Donald Sannella, Andrzej Tarlecki
    Book:
    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:
    Published