2520 search results - page 19 / 504 » Model-checking behavioral programs |
96
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
89
Voted
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
143
Voted
SPIN
2000
Springer
15 years 4 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...
93
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
64
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer