You are here

Verification

Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware

On 7 Jun, 2014 By admin 0 Comments

Read more... about Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware

Modular Verification of Dynamically Adaptive Systems

On 17 May, 2014 By admin 0 Comments

Read more... about Modular Verification of Dynamically Adaptive Systems

Decisive Markov Chains

On 15 Jan, 2014 By admin 0 Comments

Read more... about Decisive Markov Chains