photo

Lorenz Mende


Intenta GmbH

Last seen: 3년 초과 전 |  2016년부터 활동

Followers: 0   Following: 0

메시지

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

통계

All
MATLAB Answers

1 질문
0 답변

Cody

0 문제
4 답안

순위
232,671
of 300,851

평판
0

참여
1 질문
0 답변

답변 채택
0.0%

획득한 표
0

순위
 of 21,094

평판
N/A

평균 평점
0.00

참여
0 파일

다운로드 수
0

ALL TIME 다운로드 수
0

순위
64,855
of 171,294

참여
0 문제
4 답안

점수
50

배지 수
1

참여
0 게시물

참여
0 공개 채널

평균 평점

참여
0 하이라이트

평균 좋아요 수

  • Scavenger Finisher
  • Solver

배지 보기

Feeds

보기 기준

질문


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 ...

9년 초과 전 | 답변 수: 1 | 0

1

답변

문제를 풀었습니다


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

9년 초과 전

문제를 풀었습니다


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

9년 초과 전

문제를 풀었습니다


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

9년 초과 전

문제를 풀었습니다


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...

9년 초과 전