نتایج جستجو برای: program verification

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

Journal: :Mathematical Structures in Computer Science 2009

Journal: :Electronic Notes in Theoretical Computer Science 2001

Journal: :Lecture Notes in Computer Science 2023

This paper presents a proof system for reasoning about execution time bounds core imperative programming language. Proof systems are defined three different scenarios: approximations of the worst-case time, exact reasoning, and less pessimistic estimation using amortized analysis. We define Hoare logic cases prove its soundness with respect to an annotated cost-aware operational semantics. Fina...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان 1389

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Journal: :Transactions of the Atomic Energy Society of Japan 2008

Journal: :ACM Transactions on Programming Languages and Systems 2014

Journal: :Theory and Practice of Logic Programming 2017

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

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