Efficient Data Model Verification with Many-Sorted Logic (T)

@article{Bocic2015EfficientDM,
  title={Efficient Data Model Verification with Many-Sorted Logic (T)},
  author={Ivan Bocic and Tevfik Bultan},
  journal={2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year={2015},
  pages={42-52}
}
Misuse or loss of web application data can have catastrophic consequences in today's Internet oriented world. Hence, verification of web application data models is of paramount importance. We have developed a framework for verification of web application data models via translation to First Order Logic (FOL), followed by automated theorem proving. Due to the undecidability of FOL, this automated approach does not always produce a conclusive answer. In this paper, we investigate the use of many… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

Practical Aspects of Declarative Languages

Lecture Notes in Computer Science • 2018
View 4 Excerpts
Highly Influenced

Symbolic Model Extraction for Web Application Verification

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) • 2017
View 2 Excerpts

Finding access control bugs in web applications with CanCheck

2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) • 2016
View 3 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 28 references

Alloy: a lightweight object modelling notation

ACM Trans. Softw. Eng. Methodol. • 2002
View 5 Excerpts
Highly Influenced

SPASS Version 3.5

View 3 Excerpts
Highly Influenced

Coexecutability for Efficient Verification of Data Model Updates

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering • 2015
View 5 Excerpts

http://wholemeal.co.nz/projects/ fulcrum.html

wholemeal Fulcrum, Jan
2015
View 1 Excerpt

An integrated data model verifier with property templates

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) • 2013
View 1 Excerpt

Unbounded data model verification using SMT solvers

2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering • 2012
View 1 Excerpt

Similar Papers

Loading similar papers…