Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Behavioral Compatibility without State Explosion: Design and Verification of a
 

Summary: Behavioral Compatibility without State
Explosion: Design and Verification of a
Component-based Elevator Control System
Paul C. Attie1
, David H. Lorenz2
, Aleksandra Portnova3
, and Hana Chockler4
1
American University of Beirut, Beirut, Lebanon. paul.attie@aub.edu.lb
2
University of Virginia, Charlottesville, VA 22904, USA. lorenz@cs.virginia.edu
3
Northeastern University, Boston, MA 02115, USA. portnova@ccs.neu.edu
4
WPI, Worcester, MA 01609, USA. hanac@theory.csail.mit.edu
Abstract. Most methods for designing component-based systems and
verifying their compatibility address only the syntactic compatibility of
components; no analysis of run-time behavior is made. Those methods
that do address run-time behavior suffer from state-explosion: the expo-
nential increase of the number of global states, and hence the complexity

  

Source: Attie, Paul - Department of Computer Science, American University of Beirut

 

Collections: Computer Technologies and Information Sciences