Back
  1. Home
  3. A Partial Approach To Model Checking - 1991
Download
Paper published in a book (Scientific congresses and symposiums)
A Partial Approach To Model Checking
Godefroid, Patrice; Wolper, Pierre
1991 • In Proceedings 6th IEEE Symposium on Logic in Computer Science
Peer reviewed
Permalink
https://hdl.handle.net/2268/174850
DOI
10.1109/LICS.1991.151664
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
GW 91 LICS.pdf
Author postprint (171.81 kB)
Download

All documents in ORBi are protected by a user license.

Send to


Details


Keywords :
model-checking; partial-order; automata
Abstract :
[en] This paper presents a model-checking method for linear-time temporal logic that avoids the state explosion due to the modelling of concurrency by interleaving. The method relies on the concept of Mazurkiewicz's trace as a semantic basis and uses automata-theoretic techniques, including automata that operate on words of ordinality higher than omega
Disciplines :
Computer science
Author, co-author :
Godefroid, Patrice
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Language :
English
Title :
A Partial Approach To Model Checking
Publication date :
1991
Event name :
6th Annual IEEE Symposium on Logic in Computer Science
Event organizer :
IEEE
Event place :
Amsterdam, Netherlands
Event date :
July 15-18 1991
Audience :
International
Main work title :
Proceedings 6th IEEE Symposium on Logic in Computer Science
Publisher :
Institute of Electrical and Electronics Engineers (IEEE), New York, United States - New York
Pages :
406-415
Peer review/Selection committee :
Peer reviewed
Available on ORBi :
since 10 December 2014

Statistics

Number of views
260 (1 by ULiège)
Number of downloads
312 (1 by ULiège)
More statistics
Scopus citations®
 
107
Scopus citations®
without self-citations
99
OpenAlex citations
 
99

Bibliography

Similar publications


Contact ORBi