Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Grigore Roşu"'
Autor:
Dana Fisman, Grigore Rosu
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:56-84
Previous work on rewriting and reachability logic establishes a vision for a language-agnostic program verifier, which takes three inputs: a program, its formal specification, and the formal semantics of the programming language in which the program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6bf8e396bf2212bd7aaa2d881cd563c
https://doi.org/10.1145/3586029
https://doi.org/10.1145/3586029
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 130:100810
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94e36f08751fec177915fbb4cbf6ace6
https://doi.org/10.1016/j.jlamp.2022.100810
https://doi.org/10.1016/j.jlamp.2022.100810
Autor:
Owolabi Legunsen, Grigore Rosu
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include fo
Autor:
Joseph Goguen, Grigore Roşu
Publikováno v:
Formal Aspects of Computing. 13:274-307
Institutions formalise the intuitive notion of logical system, including syntax, semantics, and the relation of satisfaction between them. Our exposition emphasises the natural way that institutions can support deduction on sentences, and inclusions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af74d8dab92fece5a44f814c5f7235d9
https://doi.org/10.1007/s001650200013
https://doi.org/10.1007/s001650200013
Autor:
Grigore Roşu
Publikováno v:
Electronic Notes in Theoretical Computer Science. 238(3):1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55b7355ba5e1cea5aba64586cf428ac2
Autor:
Holger Giese, Grigore Rosu
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Netwo
Autor:
José Meseguer, Grigore Rosu
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talk
Autor:
Klaus Havelund, Grigore Roşu
Publikováno v:
Formal Methods in System Design. 24:99-100
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6a72f66809f4b73ca34b15292837767
https://doi.org/10.1023/b:form.0000017842.17301.bc
https://doi.org/10.1023/b:form.0000017842.17301.bc