A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-540-88387-6_8

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Model-Checking Over Multi-Valued Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Multi-Valued Modal Fixed Point Logics for Model Checking

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2010Italian

An Algorithm for Solving a Multi-Valued Variational Inequality

Journal of Inequalities and Applications
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2013English

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

IEEE Transactions on Software Engineering
Software
2012English

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

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Benefits of Bounded Model Checking at an Industrial Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

A Multi-Objective DIRECT Algorithm for Ship Hull Optimization

Computational Optimization and Applications
ControlComputational MathematicsApplied MathematicsOptimization
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy