Concurrent Bounded Model Checking

No abstract is available for this paper.

• Publication year

  2015

• Venue

  SOEN

• Publication date

  2015-02-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2693208.2693240
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Symbolic Execution as DPLL Modulo Theories

  2014cited by this paper
• Polyglot: Systematic Analysis for Multiple Statechart Formalisms

  2013cited by this paper
• Parallel Model Checking Using Abstraction

  2012cited by this paper
• PKind: A parallel k-induction based model checker

  2011influential reference
• Parallel symbolic execution for structural test generation

  2010cited by this paper
• DiVinE: Parallel Distributed Model Checker

  2010cited by this paper
• ParSym: Parallel symbolic execution

  2010cited by this paper
• DiVinE: Parallel Distributed Model Checker (Tool paper)

  2010cited by this paper
• Parallel Model Checking for Temporal Epistemic Logic

  2010cited by this paper
• Cloud9: a software testing service

  2010cited by this paper
• Symbolic PathFinder: symbolic execution of Java bytecode

  2010cited by this paper
• The SMT-LIB Standard Version 2.0

  2010cited by this paper
• A Concurrent Portfolio Approach to SMT Solving

  2009cited by this paper
• Tarmo: A Framework for Parallelized Bounded Model Checking

  2009cited by this paper
• Distributed parallel symbolic execution

  2009cited by this paper
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

  2008cited by this paper
• Automated Whitebox Fuzz Testing

  2008cited by this paper
• The Design of a Multicore Extension of the SPIN Model Checker

  2007cited by this paper
• Parallel SAT Solving in Bounded Model Checking

  2006cited by this paper
• Bounded model checking of software using SMT solvers instead of SAT solvers

  2006cited by this paper
• Parallel External Directed Model Checking with Linear I/O

  2006cited by this paper
• CUTE: a concolic unit testing engine for C

  2005cited by this paper
• DART: directed automated random testing

  2005cited by this paper
• Parallel Bounded Property Checking with SymC

  2005cited by this paper
• PaMira - A Parallel SAT Solver with Knowledge Sharing

  2005cited by this paper
• Unit Checking: Symbolic Model Checking for a Unit of Code

  2004cited by this paper
• Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

  2004cited by this paper
• A Tool for Checking ANSI-C Programs

  2004cited by this paper
• Behavioral consistency of C and Verilog programs using bounded model checking

  2003cited by this paper
• Generalized Symbolic Execution for Model Checking and Testing

  2003cited by this paper
• Avoiding exponential explosion: generating compact verification conditions

  2001cited by this paper
• PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications

  2001cited by this paper
• Symbolic Model Checking without BDDs

  1999cited by this paper
• Parallelizing the Murphi Verifier

  1997cited by this paper
• Design patterns: elements of reuseable object-oriented software

  1994cited by this paper
• Symbolic model checking

  1992cited by this paper
• Symbolic execution and program testing

  1976influential reference

• ESBMC-Python: A Bounded Model Checker for Python Programs

  2024cites this paper
• GPU Acceleration of Bounded Model Checking with ParaFROST

  2021cites this paper
• Parallel and distributed bounded model checking of multi-threaded programs

  2020cites this paper
• Sthread: In-Vivo Model Checking of Multithreaded Programs

  2020cites this paper
• Verifying temporal specifications of Java programs

  2020cites this paper
• Concurrent Bug Finding Based on Bounded Model Checking

  2020cites this paper
• Concurrent Bug Finding Based on Bounded Model Checking

  2020cites this paper
• Parallel Refinement for Multi-Threaded Program Verification

  2019cites this paper
• Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution)

  2019cites this paper
• Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

  2019cites this paper
• HANDLING STATE SPACE EXPLOSION IN COMPONENT-BASED SYSTEMS: A REVIEW

  2017cites this paper
• Handling State Space Explosion in Component-Based Software Verification: A Review

  2017cites this paper
• Refactoring verification using model transformation

  2016cites this paper
• Model Counting Modulo Theories

  2015cites this paper