3820 search results - page 7 / 764 » Bounded Model Debugging |
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
DLOG
2007
13 years 10 months ago
2007
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...