International SPIN Symposium on Model Checking of Software (Event)

  • Armin Biere (Member)

Activity: Membership/Function › Program committee

Description

The SPIN symposium brings together researchers and practitioners interested in automated, tool-based techniques to analyze software and models of software for verification and validation purposes. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
Period13 Jul 2017 → 14 Jul 2017
Event titleInternational SPIN Symposium on Model Checking of Software
Event typeOther
LocationUnited StatesShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links