( 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 Ricco

 

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

Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization., , , , и . SC-square@SIAM AG, том 2460 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)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)Searching for i-Good Lemmas to Accelerate Safety Model Checking., , , , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 288-308. Springer, (2023)COMPASTA: Extending TASTE with Formal Design and Verification Functionality., , , , , , , и . IMBSA, том 13525 из Lecture Notes in Computer Science, стр. 21-27. Springer, (2022)Safe Decomposition of Startup Requirements: Verification and Synthesis., , , , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 155-172. Springer, (2020)Proving the Existence of Fair Paths in Infinite-State Systems., , и . VMCAI, том 12597 из Lecture Notes in Computer Science, стр. 104-126. Springer, (2021)Extending nuXmv with Timed Transition Systems and Timed Temporal Properties., , , , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 376-386. Springer, (2019)Optimization Modulo Non-linear Arithmetic via Incremental Linearization., , , , , , , и . FroCoS, том 12941 из Lecture Notes in Computer Science, стр. 213-231. Springer, (2021)Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development., , , , , , , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 44-65. Springer, (2024)