References

  1. Ant. http://www.ant.apache.org.
  2. GNU Make. http://www.gnu.org/software/make/.
  3. JOM. https://wiki.qt.io/Jom.
  4. Microsoft Azure. https://azure.microsoft.com/en-us/.
  5. Microsoft Azure Autoscale. https://azure.microsoft.com/en-us/documentation/articles/cloud-services-how-to-scale/.
  6. Microsoft Azure Blob Storage. https://msdn.microsoft.com/library/azure/dd179376.aspx.
  7. Microsoft Azure Queue Storage. http://azure.microsoft.com/en-us/documentation/articles/storage-introduction/.
  8. Microsoft Azure Table Storage. https://azure.microsoft.com/en-us/documentation/articles/storage-table-design-guide/.
  9. Microsoft DDI compliance rules. http://msdn.microsoft.com/en-us/library/windows/hardware/ff552840.aspx.
  10. Microsoft MSBUILD. https://msdn.microsoft.com/en-us/library/ms171452(v=vs.90).aspx.
  11. Microsoft Static Driver Verifier. http://msdn.microsoft.com/en-us/library/windows/hardware/ff552808.aspx.
  12. Scan-Build. http://clang-analyzer.llvm.org/scan-build.html.
  13. Thomas Ball, Byron Cook, Vladimir Levin & Sriram K Rajamani (2004): SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft. In: Integrated formal methods. Springer, pp. 1–20, doi:10.1007/978-3-540-24756-2_1.
  14. Thomas Ball & Sriram K Rajamani (2002): SLIC: A specification language for interface checking (of C). Technical Report. Available at https://www.microsoft.com/en-us/research/publication/slic-a-specification-language-for-interface-checking-of-c/.
  15. J. Barnat, L. Brim & Petr Ročkai (2007): Scalable Multi-core LTL Model-checking. In: Proceedings of the 14th International SPIN Conference on Model Checking Software. Springer-Verlag, Berlin, Heidelberg, pp. 187–203, doi:10.1007/978-3-540-73370-6_13. Available at http://dl.acm.org/citation.cfm?id=1770532.1770550.
  16. Michael Barnett, Mehdi Bouaziz, Manuel Fahndrich & Francesco Logozzo (2013): A case for static analyzers in the cloud. In: Bytecode 2013. Available at http://research.microsoft.com/apps/pubs/default.aspx?id=183458.
  17. Dirk Beyer, Georg Dresler & Philipp Wendler (2014): Software Verification in the Google App-Engine Cloud. In: Computer Aided Verification. Springer, pp. 327–333, doi:10.1007/978-3-319-08867-9_21.
  18. George Candea, Stefan Bucur & Cristian Zamfir (2010): Automated software testing as a service. In: Proceedings of the 1st ACM symposium on Cloud computing. ACM, pp. 155–160, doi:10.1145/1807128.1807153.
  19. Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov & George Candea (2010): Cloud9: A software testing service. ACM SIGOPS Operating Systems Review 43(4), pp. 5–10, doi:10.1145/1807128.1807153.
  20. G. J. Holzmann, R. Joshi & A. Groce (2008): Swarm Verification. In: Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE '08. IEEE Computer Society, Washington, DC, USA, pp. 1–6, doi:10.1109/ASE.2008.9.
  21. Rahul Kumar & Eric G Mercer (2005): Load balancing parallel explicit state model checking. Electronic Notes in Theoretical Computer Science 128(3), pp. 19–34, doi:10.1016/j.entcs.2004.10.016.
  22. Chris Lattner (2008): LLVM and Clang: Next generation compiler technology. In: The BSD Conference, pp. 1–2.
  23. Ulrich Stern & David L Dill (2001): Parallelizing the Murφ verifier. Formal Methods in System Design 18(2), pp. 117–129, doi:10.1023/A:1008771324652.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org