Fueling the SAT Revolution

  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › science-to-science

Description

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.
Period08 Jun 2021
Event titleVerified Software: Tools and Experiments (VSOW04) Workshop
Event typeOther
LocationAustriaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

Documents & Links