'viper-lang' Questions - SpiceQA

Questions Tags Users Badges

viper-lang

4 Questions

Newest Active Unanswered Frequent

Does multiplying a wildcard in viper mean anything?

user_8718360

• asked Oct 27, 2020

2

1

40

viper-lang

Invariant fails but assert before loop verifies

user_20784140

• asked Aug 24, 2020

3

1

61

viper-lang formal-verification

double permission inhale leads to unexpected verifications

user_71231390

• asked Jun 24, 2020

2

1

40

viper-lang

Expected error or incompleteness with quantified permissions and wildcards?

user_4912160

• asked Jun 22, 2020

3

1

49

viper-lang formal-verification assertion

1 (current)

Hot Questions