3468 search results - page 131 / 694 » An open logical framework |
102
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
95
Voted
JIIS
2008
15 years 23 days ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
112
Voted
CCS
2010
ACM
14 years 7 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...
120
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...