21st International Symposium on Model Checking of Software, San Jose, Vereinigte Staaten

Abbrevation

SPIN

Link

http://spin2014.org/

City

San Jose

Country

United States

Deadline Paper

2014-04-11

Start Date

2014-07-21

End Date

2014-07-23

Abstract

SPIN 2014 is co–located with International Symposium on Software Testing and Analysis (ISSTA 2014). SPIN and ISSTA will hold joint sessions on July 23rd and ISSTA will continue until July 25. Aim and Scope: The SPIN Symposium is a forum for practitioners and researchers interested in software verification and engineering. There are two tracks for paper submissions. Software Verification Track: Theoretical techniques, novel algorithms and empirical evaluation for state–space exploration based techniques. We welcome submissions describing the development and application of state space exploration techniques in testing and verifying embedded software, mobile platforms, security–critical software, enterprise and web applications, and other interesting software platforms. Software Engineering Track: Techniques and approaches that extend or leverage existing state–space exploration based techniques such as model checking and symbolic execution to assist in automating software engineering tasks such as design, implementation, analysis, testing, and maintenance of software systems.