4047 search results - page 113 / 810 » Algebraic Model Checking |
131
click to vote
VAMOS
2010
Springer
15 years 2 months ago
2010
Springer
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
171
Voted
DKE
2011
14 years 4 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
112
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
111
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...