1895 search results - page 323 / 379 » Using ATL for Checking Models |
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
109
click to vote
WEA
2005
Springer
15 years 6 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
119
click to vote
ILP
2003
Springer
15 years 5 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
105
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
96
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...