Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Parametric Temporal Logic for ``Model Measuring'' 1
 

Summary: Parametric Temporal Logic
for ``Model Measuring'' 1
Rajeev Alur
University of Pennsylvania and Bell Labs
alur@cis.upenn.edu
and
Kousha Etessami
Bell Labs
kousha@research.bell­labs.com
and
Salvatore La Torre
University of Pennsylvania and Universit`a degli Studi di Salerno
latorre@cis.upenn.edu
and
Doron Peled
Bell Labs
doron@research.bell­labs.com
1. INTRODUCTION
Model checking has become a central methodology for automated verification of
reactive systems (cf. [CE81; CK96; Hol97]). In standard model checking, a system

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences