2881 search results - page 185 / 577 » Model Checking for Programming Languages using Verisoft |
155
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
159
click to vote
IPPS
2008
IEEE
16 years 22 days ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
252
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
224
click to vote
JOOP
1998
15 years 6 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
158
click to vote
AICT
2006
IEEE
16 years 12 days ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...