Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Overview overview5.3 Introduction
 

Summary: Overview overview5.3
Introduction
Modelling parallel systems
Linear Time Properties
Regular Properties
Linear Temporal Logic (LTL)
syntax and semantics of LTL
automata-based LTL model checking
complexity of LTL model checking ---
Computation-Tree Logic
Equivalences and Abstraction
1 / 187
Complexity of LTL model checking ltlmc3.2-71
main steps of automata-based LTL model checking:
construction of an NBA AAA
for ¬¬¬
persistence checking in the
product T AT AT A
2 / 187
Complexity of LTL model checking ltlmc3.2-71

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences