854 search results - page 54 / 171 » Addressing Dynamic Issues of Program Model Checking |
139
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
CP
2005
Springer
15 years 8 months ago
2005
Springer
Many combinatorial problems require of their solutions that they achieve a certain balance of given features. In the constraint programming literature, little has been written to s...
118
Voted
SIGSAND
2008
15 years 3 months ago
2008
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
129
Voted
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
97
Voted
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...