نتایج جستجو برای: dynamic analyses

تعداد نتایج: 779255  

Journal: :Journal of the Computational Structural Engineering Institute of Korea 2014

Journal: :Lecture Notes in Computer Science 2022

Abstract Theta is a model checking framework based on abstraction refinement algorithms. In SV-COMP 2022, we introduce: 1) reasoning at the source-level via direct translation from C programs; 2) support for concurrent programs with interleaving semantics; 3) mitigation non-progressing loops; 4) SMT-LIB-compliant solvers. We combine all of aforementioned techniques into portfolio dynamic algori...

Journal: :Journal of Japan Society of Civil Engineers, Ser. E1 (Pavement Engineering) 2015

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید