1992 search results - page 58 / 399 » Model Based Testing with Labelled Transition Systems |
147
Voted
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
108
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. We describe LOCALE, a system that allows cooperating information systems to share labels for photographs. Participating photographs are enhanced with a geographic locatio...
146
Voted
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
112
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
105
Voted
FMOODS
2003
15 years 3 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...