9 search results - page 2 / 2 » Abstraction in model checking multi-agent systems |
109
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
137
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
112
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
154
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...