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

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-642-24690-6_21

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

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

IEEE Transactions on Software Engineering
Software
2012English

Bringing LTL Model Checking to Biologists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Another Look at LTL Model Checking

1993English

Shortest Counterexamples for Symbolic Model Checking of LTL With Past

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Dynamic Path Reduction for Software Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Monitor Circuits for LTL With Bounded and Unbounded Future

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy