Computer Science
40er's user avatar
40er's user avatar
40er's user avatar
40er
Unregistered
  • Member for 1 year, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
3
reputation
326
reached
0
answers
2
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
0
How can I prove that LTL formula is valid?
Jun 8, 2022
question
0
Hoare Triple Derivation Example (Precondition False)
Jun 14, 2022

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.