Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@Edivad99
Edivad99 committed Jul 21, 2023
1 parent 151a648 commit c2433c4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Software Verification project developed in the year 2022-2023 by Davide Albiero and Damiano Mason.

The abstract Interpreter implements 3 types of domains:
The Abstract Interpreter implements 3 types of domains:
- Interval Domain
- Sign Domain
- Congruence Domain
Expand Down

0 comments on commit c2433c4

Please sign in to comment.