880 search results - page 14 / 176 » Model checking erlang programs: the functional approach |
211
click to vote
VVEIS
2007
15 years 7 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
171
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
137
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
186
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
151
click to vote
CAV
2009
Springer
15 years 9 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...