327 search results - page 1 / 66 » Model Checking and Evidence Exploration |
CAV
2003
Springer
13 years 10 months ago
2003
Springer
ECBS
2003
IEEE
13 years 10 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ACSD
2008
IEEE
13 years 6 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
IJDE
2007
13 years 4 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
DLOG
2009
13 years 2 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...