Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Extended Static Checker for Java version 2 (ESC/Java2) #86

Open
ferhaterata opened this issue Mar 14, 2017 · 0 comments
Open

Extended Static Checker for Java version 2 (ESC/Java2) #86

ferhaterata opened this issue Mar 14, 2017 · 0 comments
Assignees
@ferhaterata
Labels
AlloyInEcore Java Verification Research

Comments

@ferhaterata
Copy link
Member

The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations. Users can control the amount and kinds of checking that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas.

ESC/Java2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ferhaterata ferhaterata

Labels
AlloyInEcore Java Verification Research
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ferhaterata