„Software model checking“

Suchergebnisse

732 Treffer

• Automated Reasoning – 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
  2014 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency VI
  2012 Springer Berlin Heidelberg
• Model Checking Software – 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
  2022 Springer International Publishing
• Model Checking Software – 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
  2021 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency XV
  Koutny, Maciej 2021 Springer International Publishing
• Tools and Algorithms for the Construction and Analysis of Systems – 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  Chechik, Marsha ; Raskin, Jean-François 2016 Springer International Publishing
• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
  Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
• Model Checking Software – 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
  Bošnački, Dragan ; Wijs, Anton 2016 Springer International Publishing
• Engineering Secure Software and Systems – 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
  Caballero, Juan ; Bodden, Eric ; Athanasopoulos, Elias 2016 Springer Berlin Heidelberg
• On-the-fly unfolding with optimal exploration for linear temporal logic model checking of concurrent software and systems
  Li, Shuo ; Zheng, Li’ao ; Yang, Ru ; Ding, Zhijun
• Verified Software: Theories, Tools, and Experiments – 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers
  Gurfinkel, Arie ; Sanjit, Seshia 2016 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency XI
  2016 Springer International Publishing
• Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
  Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
  Shankaranarayanan, Krishna ; Sankaranarayanan, Sriram ; Trivedi, Ashutosh 2025 Springer Nature Switzerland, Imprint: Springer
• Verification, Model Checking, and Abstract Interpretation – 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
  Shankaranarayanan, Krishna ; Sankaranarayanan, Sriram ; Trivedi, Ashutosh 2025 Springer Nature Switzerland, Imprint: Springer
• What is the best algorithm for MDP model checking?
  Quatmann, Tim
• Model Checking Software – 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
  Neele, Thomas ; Wijs, Anton 2025 Springer Nature Switzerland, Imprint: Springer
• Specification and model-checking of space systems in the TASTE toolset
  Dragomir, Iulia ; Redondo, Carlos ; Jorge, Tiago ; Gouveia, Laura ; Ober, Iulian ; Bozga, Marius ; Perrotin, Maxime