Sign for Notice Everyday    Sign Up| Sign In| Link| English|
Home Post Event 2025Event 2026Event By Topic By Country Contact

Our Sponsors


    SPIN 2012 - 19th International SPIN Workshop on Model Checking of Software

    View: 620

    Website qav.cs.ox.ac.uk/spin2012 | Want to Edit it 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 software

    Algorithms and storage methods for explicit-state model checking

    Theoretical and algorithmic foundations of model checking

    Model checking for programming languages and code analysis

    Directed model checking using heuristics

    Parallel or distributed model checking

    Verification of timed and probabilistic systems

    Model checking techniques for biological systems

    Formal verification techniques for concurrent software

    Formal verification techniques for embedded software

    Abstraction and symbolic execution techniques in relation to software verification

    Static analysis for state space reduction

    Combinations of enumerative and symbolic techniques

    Analysis for modelling languages, such as UML/state charts

    Property specification languages, including temporal logics

    Automated testing using state space and/or path exploration

    Derivation of specifications, test cases, or other useful material from state spaces

    Combination of model checking techniques with other analyses

    Modular and compositional verification techniques

    Case studies of interesting systems or with interesting results

    Engineering and implementation of software verification tools

    Benchmark and comparative studies for formal verification tools

    Insightful surveys or historical accounts on topics of relevance to the workshop

    Keywords: 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.