24th International Symposium on Model Checking of Software
Views: 664
When : 2017-07-13
Where : Santa Barbara, CA, USA
Submission Deadline : 2017-02-17
Categories : Software Engineering & Security , Education
24th International Symposium on Model Checking of Software(SPIN 2017)
July 13-14, 2017, Santa Barbara, CA, USA
Call for Papers:
The SPIN symposium aims at bringing together researchers and practitioners
interested in automated tool-based techniques for the analysis
of software as well as models of software, for the purpose of
verification and validation. 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, empirical evaluation, and education.
History: The SPIN symposium originated as a workshop focusing on explicit
state model checking, specifically as related to the Spin model checker.
However, over the years it has evolved to a broadly scoped symposium
for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution.
Papers primarily based on (but not limited to) the following topics are welcome: (Topics include but not limited to)
- Formal verification techniques for automated analysis of software
- Formal analysis for modeling languages, such as UML/state charts
- Formal specification languages, temporal logic, design-by-contract
- Model checking
- Automated theorem proving, including SAT and SMT
- Verifying compilers
- Abstraction and symbolic execution techniques
- Static analysis and abstract interpretation
- Combination of verification techniques
- Modular and compositional verification techniques
- Verification of timed and probabilistic systems
- Automated testing using advanced analysis techniques
- Combination of static and dynamic analyses
- Derivation of specifications, test cases, or other useful material via formal analysis
- Case studies of interesting systems or with interesting results
- Engineering and implementation of software verification and analysis tools
- Benchmark and comparative studies for formal verification and analysis tools
- Formal methods education and training
- Insightful surveys or historical accounts on topics of relevance to the symposium
IMPORTANT DATES:
- Submission deadline : Feb 17, 2017
- Acceptance Notification : Apr 15, 2017
- Camera-Ready Version : May 20, 2017
- Symposium : July 13-14, 2017
User Name : Simon
Posted 14-02-2017 on 15:35:51 AEDT
Related CFPs
ICICSE 2025 2025 the 5th International Conference on Information Communication and Software EngineeringNurse Practitioner Conference Nurse Practitioner Conference 2026
WeST 2025 17th International Conference on Web services & Semantic Technology
IJHAS International Journal of Humanities, Art and Social Studies