2282 search results - page 212 / 457 » Active property checking |
167
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
129
Voted
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
136
click to vote
CHES
2004
Springer
15 years 10 months ago
2004
Springer
Because of the rapidly shrinking dimensions in VLSI, transient and permanent faults arise and will continue to occur in the near future in increasing numbers. Since cryptographic c...
164
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
132
click to vote
ACSC
2002
IEEE
15 years 10 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...