posted by user: mpstew || 7517 views || tracked by 18 users: [display]

SSV 2009 : 4th International Workshop on Systems Software Verification

FacebookTwitterLinkedInGoogle


Conference Series : Systems Software Verification
 
Link: https://www.easychair.org/login.cgi?conf=ssv09
 
When Jun 22, 2009 - Jun 24, 2009
Where Aachen, Germany
Submission Deadline Feb 15, 2009
Notification Due Apr 6, 2009
Final Version Due May 6, 2009
Categories    compilers   embedded systems   software   automation
 

Call For Papers

Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, and static analysis techniques as well as
correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions which are invalidated by complex (embedded) system
software such as operating system kernels, low-level device drivers or
microcontroller code.

The aim of this workshop is to bring together researchers and
developers from both academia and industry, who are facing real
software and real problems to find real, applicable solutions. By
"real" we mean problems such as time-to-market or reliability that the
industry is facing and is trying to fix in software that is deployed
in the market place. A real solution is one that is applicable to the
problem in industry and not one that only applies to an abstract,
academic toy version of it. This forum will discuss software
analysis/development techniques and tools; it will also serve as a
platform to discuss open problems and future challenges in dealing
with existing and upcoming systems level code.

Related Resources

ISAI 2023   2023 the 3rd International Symposium on AI (ISAI 2023)
CLNLP 2022   2022 3rd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2022)
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
ICBDB 2022   2022 4th International Conference on Big Data and Blockchain(ICBDB 2022)
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
IARCE 2022   2022 6th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2022)
AAMAS 2023   The 22nd International Conference on Autonomous Agents and Multiagent Systems
IOP, EI, Scopus-EMECS 2022   2022 International Conference on Electronics, Mechanical Engineering and Computer Science (EMECS 2022)-EI Compendex
DSN 2023   IEEE/IFIP International Conference on Dependable Systems and Networks
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis