523 search results - page 39 / 105 » Transformations for Model Checking Distributed Java Programs |
145
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
109
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
120
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
107
click to vote
ENTCS
2007
15 years 2 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
108
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...