Proof Assistants Beta
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione
  • Member for 1 year, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
212
reputation
848
reached
3
answers
8
questions
Communities
View all
About

I am a researcher working on automated software testing, analysis and verification. One of the projects I am currently working is JBSE, a JVM that can do symbolic execution of Java bytecode.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
3
Score
10
Posts
91
Posts %
2
Score
3
Posts
27
Posts %
1
Score
3
Posts
27
Posts %
0
Score
2
Posts
18
Posts %
0
Score
1
Posts
9
Posts %
0
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
2
What are references for learning type theory?
Aug 21, 2022
answer
2
How do I define a function in Coq with if...then..else behavior?
Jan 7
answer
1
How do I express a fixpoint of a decreasing argument that is not a subterm of the function's argument?
Feb 3
question
1
How do I express a fixpoint of a decreasing argument that is not a subterm of the function's argument?
Feb 2
question
1
How do I debug Gallina (Coq) code?
Jul 12
question
1
How do I prove this property in Coq?
Aug 30, 2022
question
1
How do I define a function in Coq with if...then..else behavior?
Jan 7
question
1
What is the correct way to define a DecidableType module?
Jul 16
question
0
What is the idiomatic way in Coq to write recursive functions over product types?
Feb 1
question
0
How do I extract efficient string code in Coq to OCaml?
Jul 14
Top network posts
View all network posts
35
How to get the sign, mantissa and exponent of a floating point number
6
What are the optimal green cuts for successor arithmetics sum?
5
What's the SLD tree for this query?
5
Julia: How do I create a macro that returns its argument?
5
What is the geometrical difference between continuity and uniform continuity?

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.