3224 search results - page 402 / 645 » On Checking Model Checkers |
143
click to vote
CORR
2010
Springer
15 years 6 months 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...
192
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
155
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
258
click to vote
FMOODS
2008
15 years 8 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
162
click to vote
ACL
1998
15 years 8 months ago
1998
Much of the power of probabilistic methods in modelling language comes from their ability to compare several derivations for the same string in the language. An important starting...