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 37 articles , 1 standard article )

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

1 2 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) ioport
  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) ioport
  7. Basler, Gérard; Mazzucchi, Michele; Wahl, Thomas; Kroening, Daniel: Symbolic counter abstraction for concurrent software (2009)
  8. Melatti, I.; Palmer, R.; Sawaya, G.; Yang, Y.; Kirby, R.M.; Gopalakrishnan, G.: Parallel and distributed model checking in Eddy (2009) ioport
  9. Schlich, Bastian; Kowalewski, Stefan: Model checking C source code for embedded systems (2009) ioport
  10. Stahl, Christian; Massuthe, Peter; Bretschneider, Jan: Deciding substitutability of services with operating guidelines (2009)
  11. Beyer, Dirk; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak: The software model checker blast (2007) ioport
  12. Bjørner, Nikolaj: Models and software model checking of a distributed file replication system (2007)
  13. Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor: Modular safety checking for fine-grained concurrency (2007)
  14. Cook, Byron; Kroening, Daniel; Sharygina, Natasha: Verification of Boolean programs with unbounded thread creation (2007)
  15. Huth, Michael: Some current topics in model checking (2007) ioport
  16. Matousek, Tomas; Zavoral, Filip: Extracting Zing models from C source code (2007)
  17. Ghica, D.R.; Murawski, A.S.: Compositional model extraction for higher-order concurrent programs (2006)
  18. Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant: Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions (2006)
  19. Kristensen, L.M.; Schmidt, K.; Valmari, A.: Question-guided stubborn set methods for state properties (2006)
  20. Malevergne, Yannick; Sornette, Didier: Extreme financial risks. From dependence to risk management (2006)

1 2 next

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