Benefits of Bounded Model Checking at an Industrial Setting

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-44585-4_43
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Lessons Learned Model Checking an Industrial Communications Library

2005English

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

IEEE Transactions on Software Engineering
Software
2012English

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

Another Look at LTL Model Checking

1993English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy