1472 search results - page 214 / 295 » On Model Checking Infinite-State Systems |
135
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
131
click to vote
IWPC
2002
IEEE
15 years 6 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
124
click to vote
RTAS
1997
IEEE
15 years 6 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
113
click to vote
MKWI
2008
15 years 3 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
110
click to vote
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...