Verified Software: Tools and Experiments (VSOW04) Workshop
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
The Tools and Experiments workshop is aimed at defining an integrated tool resources for automated formal methods with standardized interfaces and interchange and data/evidence formats that allow services and arguments to be composed and test cases and counterexamples to be shared across different formal models. The goal of the INI Virtual Workshop is to lay the foundation for powerful automated tools and integrated tool suites that can be deployed in a range of large-scale experiments and case studies.