Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Verifying Real-Time Properties of tccp Programs M. Alpuente M.M. Gallardo , E. Pimentel A. Villanueva
 

Summary: Verifying Real-Time Properties of tccp Programs
M. Alpuente M.M. Gallardo , E. Pimentel A. Villanueva
U. Polit´ecnica de Valencia U. de M´alaga U. Polit´ecnica de Valencia
Camino de Vera s/n Campus de Teatinos s/n Camino de Vera s/n
46022 Valencia 29071 M´alaga 46022 Valencia
alpuente@dsic.upv.es {gallardo,ernesto}@lcc.uma.es villanue@dsic.upv.es
Abstract
The size and complexity of software systems
are continuously increasing, which makes them
difficult and labor-intensive to develop, test
and evolve. Since concurrent systems are
particularly hard to verify by hand, achiev-
ing effective, automated verification tools for
concurrent software has become an impor-
tant topic of research. Model checking is
a popular automated verification technology
which allows us to determine the properties
of a software system and enables more thor-
ough and less costly testing. In this work,
we improve the model-checking methodology

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Villanueva, Alicia - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences