Question

JML typing error: a memory state is needed here (\at missing?)

score 72 · Answer 1 · 2023-05-26T10:34:26.743000

72

Views

JML typing error: a memory state is needed here (\at missing?)

Published on 26 May 2023 at 10:34

score 374 · Answer 2 · 2022-05-08T17:07:31.877000

374

Views

OpenJML warning in Java

Published on 08 May 2022 at 17:07

score 4.9k · Answer 3 · 2021-07-15T12:32:56.593000

4.9k

Views

Query to get all subtasks associated to stories with some labels in Jira

Published on 15 July 2021 at 12:32

score 129 · Answer 4 · 2021-03-08T17:21:45.153000

129

Views

Cannot prove basic functions relying only on Implementations/Inlining

Published on 08 March 2021 at 17:21

score 94 · Answer 5 · 2021-01-11T16:40:45.467000

94

Views

JML specification in the interface and the implementing class

Published on 11 January 2021 at 16:40

score 501 · Answer 6 · 2020-12-14T15:13:11.880000

501

Views

Why OpenJML can not prove an assertion in for cycle?

Published on 14 December 2020 at 15:13

score 543 · Answer 7 · 2020-12-13T09:52:33.853000

543

Views

JML remove warning after calling a function

Published on 13 December 2020 at 09:52

score 751 · Answer 8 · 2020-10-25T17:45:29.957000

751

Views

Correct way to install JML

Published on 25 October 2020 at 17:45

score 206 · Answer 9 · 2020-07-13T19:22:07.953000

206

Views

Key Java JML proover passes this algorithm that reads a specific array element which triggers a NullPointerException? it should fail instead

Published on 13 July 2020 at 19:22

score 339 · Answer 10 · 2020-07-10T08:18:49.023000

339

Views

JML - OpenJML with Extended Static Checking - Array Example

Published on 10 July 2020 at 08:18

score 95 · Answer 11 · 2019-10-03T17:41:25.207000

95

Views

Validate basic set operations in JML

Published on 03 October 2019 at 17:41

score 462 · Answer 12 · 2019-04-12T09:43:44.553000

462

Views

Use OpenJML in Eclipse project that uses JDK different from OpenJDK 1.8

Published on 12 April 2019 at 09:43

score 226 · Answer 13 · 2019-03-02T13:37:28.790000

226

Views

Formal verification with 'KeY' in Java fails to prove array reset loop

Published on 02 March 2019 at 13:37

score 691 · Answer 14 · 2017-12-27T14:48:59.737000

691

Views

Java sort method in JML

Published on 27 December 2017 at 14:48

score 346 · Answer 15 · 2017-12-16T16:41:10.777000

346

Views

Need a sort Method in JML with references and ensures

Published on 16 December 2017 at 16:41

score 979 · Answer 16 · 2017-12-01T09:25:08.157000

979

Views

How to remove spaces after comments in Eclipse auto formatting?

Published on 01 December 2017 at 09:25

score 564 · Answer 17 · 2017-07-19T17:51:27.900000

564

Views

JML, accurate definition for invariants

Published on 19 July 2017 at 17:51

score 106 · Answer 18 · 2015-12-08T01:32:41.547000

106

Views

What is the postcondition for the java PriorityQueue.remove(Object) method?

Published on 08 December 2015 at 01:32

score 261 · Answer 19 · 2015-11-20T21:11:15.463000

261

Views

JML Error : The .class file appears to be malformed

Published on 20 November 2015 at 21:11

score 149 · Answer 20 · 2015-07-08T10:59:37.497000

149

Views

JML can't catch a violated precondition

Published on 08 July 2015 at 10:59

List Question

JML typing error: a memory state is needed here (\at missing?)

OpenJML warning in Java

Query to get all subtasks associated to stories with some labels in Jira

Cannot prove basic functions relying only on Implementations/Inlining

JML specification in the interface and the implementing class

Why OpenJML can not prove an assertion in for cycle?

JML remove warning after calling a function

Correct way to install JML

Key Java JML proover passes this algorithm that reads a specific array element which triggers a NullPointerException? it should fail instead

JML - OpenJML with Extended Static Checking - Array Example

Validate basic set operations in JML

Use OpenJML in Eclipse project that uses JDK different from OpenJDK 1.8

Formal verification with 'KeY' in Java fails to prove array reset loop

Java sort method in JML

Need a sort Method in JML with references and ensures

How to remove spaces after comments in Eclipse auto formatting?

JML, accurate definition for invariants

What is the postcondition for the java PriorityQueue.remove(Object) method?

JML Error : The .class file appears to be malformed

JML can't catch a violated precondition

Trending Questions

Popular # Hahtags

Popular Questions