2407 search results - page 185 / 482 » A Tool for Abstraction in Model Checking |
170
click to vote
ICAC
2005
IEEE
16 years 23 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
214
click to vote
SEMWEB
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
155
click to vote
GEOINFO
2004
15 years 8 months ago
2004
Abstract Projects using geographic information tools involve a large variety of data objects, represented in different formats. Many efforts pursue standards to represent each kind...
220
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
252
click to vote
DLT
2009
15 years 5 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...