Verified Systems International GmbH
Quality Assurance for Embedded Systems
Quality Assurance for Embedded Systems
Jan Peleska, shareholder of Verified Systems International GmbH, talks about model-based testing for embedded systems at…
Dear customers, dear friends,
Our sincerest thanks for your support in the public opinion poll for the EU innovation…
Verified Systems is one of 14 European companies which have been shortlisted by the European Commission for the EU…
Bounded model checkers are verification tools that investigate model correctness for a limited number of steps in the…
In collaboration with a research team at the University of Bremen, Verified Systems International GmbH has published a…
From January 2011 to December 2013, Verified Systems performed research and development work for the project VerSyKo…
As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT…
Runtime verification bridges the gap between formal verification and testing by providing techniques and tools that…
The application of test automation tools in a safety-critical context requires so-called tool qualification according to…