Skip to main content
Stack Overflow
  1. About
  3. For Teams
Filter by
Sorted by
Tagged with
Advice
0 votes
3 replies
96 views

I developed a specifications language. Depending on the comments on this, I’ll call it a "code-aware specifications language" or a "verification-aware specifications language". The idea I’m playing ...
0 votes
2 answers
63 views

I'm using Strapi 5 with the default users-permissions plugin. I currently have a route that allows authenticated users to update user information: PUT /api/users/{id} Authorization: Bearer <token&...
0 votes
0 answers
103 views

Missing_Device_Lock_Verification - CHECKMARX Getting this at checkmarx for a getter method declared in the model. Query Path ---> java/Java_Android/Missing_Device_Lock_Verification locatin---> ...
1 vote
2 answers
136 views

I have email verification set up for when a new user account is created on my Django project, and until they verify their email the is_active flag on their account is set to False; once they verify ...
0 votes
0 answers
64 views

I'm developing a Chrome Extension (non-commercial, open-source) that extracts information from Gmail messages and creates Google Calendar events. To avoid the "This app is unverified" warning, I'm ...
1 vote
1 answer
109 views

I’m working on an FPGA project and planning to use UVM (Universal Verification Methodology) for verification. I’m confused about the timing of when to apply UVM in the design flow. Should I develop my ...
-2 votes
2 answers
157 views

In a membership website users are required to verify their mobile and email by one-time password while registering. There are some third-party websites and apps that provide temporary email id and ...
0 votes
0 answers
72 views

I have a Flutter web and android app using google calendar api, create/edit/delete a calendar for the app's own use. I use googleapis package, and chose "calendarScope" to access google ...
-2 votes
1 answer
38 views

I need to modify the code below so the check() will pass, even if values are not exact as long as abs(val1 -val2) < 1.00 .check( jsonPath("$.data.attributes.contentValue") .is(...
DTM's user avatar
  • 21
0 votes
2 answers
90 views

I am verifying a matrix multiplication procedure: Here is my code: predicate abvalid(a:array<array<int>>, b:array<array<int>>) reads a, b { a.Length > 0 && b....
1 vote
0 answers
35 views

I'm working on coding up a neural network from scratch into js, and have implemented the following: class Network{ constructor(layerSizes, activation){ this.activation = activation[0] this....
0 votes
1 answer
99 views

I am writing some SV code. I have 'define value which I want from terminal with +define for following `define ENV_TOP. the value should go in the config_db block as I am retrieving the value for ...
0 votes
0 answers
97 views

I'm trying to make full code verification for cycle sort function on C. With ASCL annotations we need to "proof" that code is valid. Result is structured in Why3 GUI. I need to cover all ...
st_dec's user avatar
  • 150
1 vote
1 answer
126 views

I defined following data structures: typedef int profile_lru_q_t[PROFILE_NUM]; typedef profile_lru_q_t vc_lru_queue[$]; vc_lru_queue vc_lru_queue_inst; It's a ...
0 votes
1 answer
68 views

I am trying to write a Dafny function that converts 2D matrix indices to a 1D array index. Below contains my current code. The issue I face is that Dafny's verification times out after 20 seconds. Is ...

15 30 50 per page
1
2 3 4 5
...
96

AltStyle によって変換されたページ (->オリジナル) /