„Software model checking“

Suchergebnisse

732 Treffer

• Transactions on Petri Nets and Other Models of Concurrency VII
  2013 Springer Berlin Heidelberg
• Leveraging applications of formal methods, verification and validation – 5th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik Springer
• Transactions on Petri Nets and Other Models of Concurrency V
  2012 Springer Berlin Heidelberg
• Information computing and applications – second international conference ; proceedings
  Liu, Baoxiang ; Chai, Chunlai 2011 Springer
• Formal methods and software engineering – proceedings
  Qin, Shengchao ; Qiu, Zongyan 2011 Springer
• Model driven engineering languages and systems – 14th international conference ; proceedings
  Whittle, Jon ; Clark, Tony ; Kühne, Thomas 2011 Springer
• Tools and Algorithms for the Construction and Analysis of Systems – 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Tools and algorithms for the construction and analysis of systems – 17th international conference ; proceedings
  Abdulla, Parosh Aziz ; Leino, K.Rustan M. 2011 Springer
• Foundations of software science and computational structures – 8th international conference ; proceedings
  Sassone, Vladimiro 2005 Springer
• Automated technology for verification and analysis – second international conference : proceedings
  Wang, Farn 2004 Springer
• Unifying theories of programming – third international symposium ; proceedings
  Qin, Shengchao 2010 Springer
• Model checking software – proceedings
  Pol, Jaco ˜van deœ 2010 Springer
• Formal approaches to software testing – 5th international workshop ; revised selected papers
  Grieskamp, Wolfgang 2006 Springer
• Construction and analysis of safe, secure, and interoperable smart devices – second international workshop ; revised selected papers
  Barthe, Gilles 2006 Springer
• An evaluation of approaches to model checking real-time task schedulability analysis
  Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan
• Efficient reduction of finite state model checking to reachability analysis
  Schuppan, Viktor ; Biere, Armin
• On using data abstractions for model checking refinements
  Derrick, John ; Wehrheim, Heike
• Graph Transformations and Model-Driven Engineering – Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
  Engels, Gregor ; Nagl, Manfred ; Lewerentz, Claus ; Schäfer, Wilhelm ; Schürr, Andy ; Westfechtel, Bernhard 2010 Springer Berlin Heidelberg
• Learning probabilistic models for model checking: an evolutionary approach and an empirical study
  Wang, Jingyi ; Sun, Jun ; Yuan, Qixia ; Pang, Jun
• Probabilistic symbolic model checking with PRISM: a hybrid approach
  Kwiatkowska, Marta Z. ; Norman, Gethin ; Parker, David