P(Company · founded 1989Prover Technology (Sweden)Stockholm, Sweden · prover.comFollowManage this pageCitations, last 5 years6Works, last 5 years4h-index18Scientists listed0Grants since 20162OverviewPeople 0Grants 2Departments 0Strongest research topicsFormal Methods in Verification24Computer ScienceLogic, programming, and type systems12Computer ScienceSafety Systems Engineering in Autonomy10EngineeringEmbedded Systems Design Techniques5Computer SciencePetri Nets in System Modeling5Computer ScienceModel-Driven Software Engineering Techniques5Computer Science