Zing is a software model checking project at Microsoft Research. Our goal is to build a flexible and scalable systematic state space exploration infrastructure for software. This infrastructure includes novel algorithms, and a modular software architecture, to push the frontier on exploring large state spaces of software. We believe that such an infrastructure can be used for verifying and finding bugs in software at various levels: high-level protocol descriptions, work-flow specifications, web services, device drivers, and protocols in the core of the operating system.

References in zbMATH (referenced in 42 articles , 1 standard article )

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

1 2 3 next

  1. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco: Software model checking with explicit scheduler and symbolic threads (2012)
  2. Edelkamp, Stefan; Kellershoff, Mark; Sulewski, Damian: Program model checking via action planning (2011)
  3. Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu: Verification of STM on relaxed memory models (2011)
  4. van Gastel, Bernard; Lensink, Leonard; Smetsers, Sjaak; van Eekelen, Marko: Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (2011)
  5. He, Jifeng; Hoare, Tony: CSP is a retract of CCS (2010)
  6. Yang, Yu; Chen, Xiaofang; Gopalakrishnan, Ganesh; Kirby, Robert M.: Distributed dynamic partial order reduction (2010)
  7. Basler, Gérard; Mazzucchi, Michele; Wahl, Thomas; Kroening, Daniel: Symbolic counter abstraction for concurrent software (2009)
  8. Matousek, Tomas; Jezek, Pavel: Despec: modeling the windows driver environment (2009)
  9. Melatti, I.; Palmer, R.; Sawaya, G.; Yang, Y.; Kirby, R.M.; Gopalakrishnan, G.: Parallel and distributed model checking in Eddy (2009)
  10. Schlich, Bastian; Kowalewski, Stefan: Model checking C source code for embedded systems (2009)
  11. Stahl, Christian; Massuthe, Peter; Bretschneider, Jan: Deciding substitutability of services with operating guidelines (2009)
  12. Beyer, Dirk; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak: The software model checker blast (2007)
  13. Bjørner, Nikolaj: Models and software model checking of a distributed file replication system (2007)
  14. Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor: Modular safety checking for fine-grained concurrency (2007)
  15. Cook, Byron; Kroening, Daniel; Sharygina, Natasha: Verification of Boolean programs with unbounded thread creation (2007)
  16. Huth, Michael: Some current topics in model checking (2007)
  17. Matousek, Tomas; Zavoral, Filip: Extracting Zing models from C source code (2007)
  18. Mcgeachie, Jesse; Dingel, Jürgen: Translate one, analyze many: Leveraging the microsoft intermediate language and source code transformation for model checking. (2007)
  19. Parizek, Pavel; Plasil, Frantisek: Specification and generation of environment for model checking of software components. (2007)
  20. Ghica, D.R.; Murawski, A.S.: Compositional model extraction for higher-order concurrent programs (2006)

1 2 3 next

Further publications can be found at: http://research.microsoft.com/apps/catalog/default.aspx?t=publications