( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).

, , , и . Dagstuhl Reports, 12 (2): 67-86 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alberto Griggio

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Moreira

 

Другие публикации лиц с тем же именем

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , и . CoRR, (2024)Automatic Discovery of Fair Paths in Infinite-State Transition Systems., , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 32-47. Springer, (2021)Analysis of Cyclic Fault Propagation via ASP., , , , и . LPNMR, том 13416 из Lecture Notes in Computer Science, стр. 470-483. Springer, (2022)New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)., , , и . Dagstuhl Reports, 12 (2): 67-86 (2022)A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System., , , , , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 240-254. Springer, (2020)LTL falsification in infinite-state systems., , и . Inf. Comput., 289 (Part): 104977 (2022)Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization., , , , и . SC-square@SIAM AG, том 2460 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)The VMT-LIB Language and Tools., , и . CoRR, (2021)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , и . TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 113-132. Springer, (2021)Certifying Proofs for LTL Model Checking., , и . FMCAD, стр. 1-9. IEEE, (2018)