759 search results - page 59 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
109
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
78
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
115
Voted
JCP
2006
15 years 19 days ago
2006
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...
132
Voted
ICSE
2004
IEEE-ACM
16 years 23 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
123
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...