1239 search results - page 85 / 248 » Applying Model Checking to Concurrent UML Models |
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
ENTCS
2006
13 years 9 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...