Community Profile


Lorenz Mende

Intenta GmbH

Last seen: 10달 전 2016년부터 활동

software tester in a ASIL-D ISO 26262 project Tools: Polyspace Code Prover, automated through Jenkins


  • Scavenger Finisher
  • Solver

배지 보기

Content Feed

보기 기준


Why Polyspace Metrics shows __pstf#number modules on Polyspace Code Prover results?
In Metrics server the Code Prover Results some files are organized in __pstf#number (so e.g. __pstf26) modules. When regrouping ...

6년 이상 전 | 답변 수: 1 | 0



문제를 풀었습니다

Given a circular pizza with radius _z_ and thickness _a_, return the pizza's volume. [ _z_ is first input argument.] Non-scor...

6년 이상 전

문제를 풀었습니다

Add two numbers
Given a and b, return the sum a+b in c.

6년 이상 전

문제를 풀었습니다

Determine if input is odd
Given the input n, return true if n is odd or false if n is even.

6년 이상 전

문제를 풀었습니다

Make the vector [1 2 3 4 5 6 7 8 9 10]
In MATLAB, you create a vector by enclosing the elements in square brackets like so: x = [1 2 3 4] Commas are optional, s...

6년 이상 전