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

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

1 2 next

  1. Guthmuller, Marion; Corona, Gabriel; Quinson, Martin: System-level state equality detection for the formal dynamic verification of legacy distributed applications (2018)
  2. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco: Software model checking with explicit scheduler and symbolic threads (2012)
  3. Edelkamp, Stefan; Kellershoff, Mark; Sulewski, Damian: Program model checking via action planning (2011) ioport
  4. Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu: Verification of STM on relaxed memory models (2011)
  5. 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)
  6. He, Jifeng; Hoare, Tony: CSP is a retract of CCS (2010)
  7. Yang, Yu; Chen, Xiaofang; Gopalakrishnan, Ganesh; Kirby, Robert M.: Distributed dynamic partial order reduction (2010) ioport
  8. Basler, Gérard; Mazzucchi, Michele; Wahl, Thomas; Kroening, Daniel: Symbolic counter abstraction for concurrent software (2009)
  9. Melatti, I.; Palmer, R.; Sawaya, G.; Yang, Y.; Kirby, R. M.; Gopalakrishnan, G.: Parallel and distributed model checking in Eddy (2009) ioport
  10. Schlich, Bastian; Kowalewski, Stefan: Model checking C source code for embedded systems (2009) ioport
  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) ioport
  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) ioport
  17. Matousek, Tomas; Zavoral, Filip: Extracting Zing models from C source code (2007)
  18. Ghica, D. R.; Murawski, A. S.: Compositional model extraction for higher-order concurrent programs (2006)
  19. Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant: Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions (2006)
  20. Kristensen, L. M.; Schmidt, K.; Valmari, A.: Question-guided stubborn set methods for state properties (2006)

1 2 next

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