References in zbMATH (referenced in 7 articles )

Showing results 1 to 7 of 7.
Sorted by year (citations)

  1. Groce, Alex; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev; Xu, Ru-Gang: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014)
  2. Biere, Armin: PicoSAT essentials (2008)
  3. Groce, Alex; Joshi, Rajeev: Exploiting traces in static program analysis: Better model checking through \textttprintfs (2008) ioport
  4. Biere, Armin; Sinz, Carsten: Decomposing SAT problems into connected components (2006)
  5. Clarke, Edmund; Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer: Computational challenges in bounded model checking (2005) ioport
  6. Clarke, Edmund; Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer: Computational challenges in bounded model checking (2005) ioport
  7. Lewis, Matthew D. T.; Schubert, Tobias; Becker, Bernd W.: Speedup techniques utilized in modern SAT solvers -- an analysis in the MIRA environment. (2005)


Further publications can be found at: http://fmv.jku.at/papers/index.html