Our Sponsors
SPIN 2012 - 19th International SPIN Workshop on Model Checking of Software
Website qav.cs.ox.ac.uk/spin2012 |
Edit Freely
Category SPIN 2012
Deadline: March 30, 2012 | Date: July 23, 2012-July 24, 2012
Venue/Country: Oxford, U.K.
Updated: 2012-02-14 18:36:49 (GMT+9)
Call For Papers - CFP
The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. Theoretical techniques and empirical evaluations based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, or techniques based on the combination of explicit representations with other representations, are the focus of this workshop. We particularly welcome papers describing the development and application of state space exploration techniques in testing and verifying embedded software, security-critical software, enterprise and web applications, and other interesting software platforms. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering. Topics of interest include, but are not limited to:Formal verification techniques for automated analysis of softwareAlgorithms and storage methods for explicit-state model checkingTheoretical and algorithmic foundations of model checkingModel checking for programming languages and code analysisDirected model checking using heuristicsParallel or distributed model checkingVerification of timed and probabilistic systemsModel checking techniques for biological systemsFormal verification techniques for concurrent softwareFormal verification techniques for embedded softwareAbstraction and symbolic execution techniques in relation to software verificationStatic analysis for state space reductionCombinations of enumerative and symbolic techniquesAnalysis for modelling languages, such as UML/state chartsProperty specification languages, including temporal logicsAutomated testing using state space and/or path explorationDerivation of specifications, test cases, or other useful material from state spacesCombination of model checking techniques with other analysesModular and compositional verification techniquesCase studies of interesting systems or with interesting resultsEngineering and implementation of software verification toolsBenchmark and comparative studies for formal verification toolsInsightful surveys or historical accounts on topics of relevance to the workshopKeywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.