Knowledge Center ➜ Entities

Safelogic

PSL-based formal verification
popularity

Description

Technology leader in Property Specification Language (PSL, IEEE 1850) based formal verification and had one of the world’s fastest formal proof engines at the time.

  • Founded by: Claes Strannegård in 1999
  • HQ: Goteborg, Sweden
  • Known for: PSL, formal verification, property checking
  • Type: Company