CDC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
ICSE
2004
IEEE-ACM
15 years 16 days ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...