2291 search results - page 62 / 459 » Logic Programming and Model Checking |
140
click to vote
FASE
2008
Springer
15 years 4 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. ...
156
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
105
Voted
ENTCS
2008
15 years 2 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
121
Voted
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
196
Voted
SIGSOFT
2010
ACM
15 years 2 days ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...