1001 search results - page 20 / 201 » Testing Formal Dialectic |
AAMAS
2005
Springer
13 years 7 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
DAC
1997
ACM
13 years 12 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
FATES
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
B
1998
Springer
13 years 12 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....