photo

Lorenz Mende


Intenta GmbH

Last seen: mer än 3 år ago |  Active since 2016

Followers: 0   Following: 0

Message

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

Statistics

All
MATLAB Answers

1 Question
0 Answers

Cody

0 Problems
4 Solutions

RANK
224 247
of 300 392

REPUTATION
0

CONTRIBUTIONS
1 Question
0 Answers

ANSWER ACCEPTANCE
0.0%

VOTES RECEIVED
0

RANK
 of 20 934

REPUTATION
N/A

AVERAGE RATING
0.00

CONTRIBUTIONS
0 Files

DOWNLOADS
0

ALL TIME DOWNLOADS
0

RANK
63 605
of 168 373

CONTRIBUTIONS
0 Problems
4 Solutions

SCORE
50

NUMBER OF BADGES
1

CONTRIBUTIONS
0 Posts

CONTRIBUTIONS
0 Public Channels

AVERAGE RATING

CONTRIBUTIONS
0 Highlights

AVERAGE NO. OF LIKES

  • Scavenger Finisher
  • Solver

View badges

Feeds

View by

Question


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

ungefär 9 år ago | 1 answer | 0

1

answer

Solved


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

ungefär 9 år ago

Solved


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

ungefär 9 år ago

Solved


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

ungefär 9 år ago

Solved


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

ungefär 9 år ago