Projects funded by the NCN
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
Principal investigator (from the host institution):
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]
- 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)
- Algebraic Constructions: A Simple Framework for Complex Dependencies and ParameterisationAuthors:Grzegorz Marczyński, Donald Sannella, Andrzej TarleckiAcademic press:International Journal of Software and Informatics (rok: 2015, tom: 9(2), strony: 117-139), Wydawca: ISCAS, IfColog, SCPStatus:PublishedDOI:brak - link to the publication
- Towards verification of Ethereum smart contracts: a formalization of core of SolidityAuthors:Jakub ZakrzewskiConference:10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, ), Wydawca: SpringerData:konferencja July 18-19, 2018Status:Published
- A Java bytecode formalizationAuthors:Patryk Czarnik, Jacek Chrząszcz, Aleksy SchubertConference:10th Working Conference on Verified Software: Theories, Tools, and Experiments (rok: 2018, ), Wydawca: SpringerData:konferencja July 18-19, 2018Status:Published
- Coq Support in HAHAAuthors:Jacek Chrząszcz, Aleksy Schubert, and Jakub ZakrzewskiBook: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 InformatikStatus:Published
- Function definitions for compound values in object-oriented languagesAuthors:Jacek Chrząszcz, Aleksy SchubertBook:Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (rok: 2017, tom: bd., strony: 61-72), Wydawca: ACMStatus:Published
- Modularity of Ontologies in an Arbitrary InstitutionAuthors:Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej TarleckiBook: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: SpringerStatus:Published
- On Normal Forms for Structured Specifications with Generating ConstraintsAuthors:Donald Sannella, Andrzej TarleckiBook:Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (rok: 2018, tom: LNCS 10800, strony: 266-284), Wydawca: SpringerStatus:Published
- The foundational legacy of ASLAuthors:Donald Sannella, Andrzej TarleckiBook: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: SpringerStatus:Published