References in zbMATH (referenced in 13 articles )

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

  1. Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro: Which fragments of the interval temporal logic HS are tractable in model checking? (2019)
  2. Biere, Armin; Kröning, Daniel: SAT-based model checking (2018)
  3. Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro: Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (2018)
  4. Dams, Dennis; Grumberg, Orna: Abstraction and abstraction refinement (2018)
  5. Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas: Lost in abstraction: monotonicity in multi-threaded programs (2017)
  6. Zakharov, I.; Mandrykin, M.; Mutilin, V.; Novikov, E.; Petrenko, A.; Khoroshilov, A.: Configurable toolset for static verification of operating systems kernel modules (2015) ioport
  7. Zakharov, I. S.; Mutilin, V. S.; Khoroshilov, A. V.: Pattern-based environment modeling for static verification of Linux kernel modules (2015) ioport
  8. Mandrykin, M. U.; Mutilin, V. S.; Novikov, E. M.; Khoroshilov, A. V.; Shved, P. E.: Using Linux device drivers for static verification tools benchmarking (2012) ioport
  9. Mühlberg, Jan Tobias; Lüttgen, Gerald: Verifying compiled file system code (2012) ioport
  10. Basler, Gérard; Mazzucchi, Michele; Wahl, Thomas; Kroening, Daniel: Context-aware counter abstraction (2010)
  11. Vojdani, Vesal: Static data race analysis of heap-manipulating C programs (2010)
  12. Lal, Akash; Reps, Thomas: Reducing concurrent analysis under a context bound to sequential analysis (2009)
  13. Seidl, Helmut; Vojdani, Vesal: Region analysis for race detection (2009)