News

• April 04, 2022
  Please check our new paper, which is accepted in CAV 2022.
• January 10, 2022
  SOCRATES v1.4.0 is released with the Causality engine. Please check it at v1.4.0.
• August 02, 2021
  SOCRATES v1.3.0 is released with the DTMC engine. Please check it at v1.3.0.
• July 20, 2021
  Please check our new paper, which is accepted in FM 2021.
• July 08, 2021
  SOCRATES v1.2.0 is released with the Backdoor engine. Please check it at v1.2.0.
• July 07, 2021
  The world’s first backdoor-absence verification engine is now made available in SOCRATES.
• March 01, 2021
  SOCRATES v1.1.0 is released with the Refinement engine. Please check it at v1.1.0.
• July 17, 2020
  SOCRATES v1.0.0 is released with two engines Optimization and SPRT. Please check it at v1.0.0.