A direct symbolic approach to model checking pushdown systems

Finkel, Alain; Willems, Bernard; Wolper, Pierre; Moller, Faron

No full text

Paper published in a journal (Scientific congresses and symposiums)

A direct symbolic approach to model checking pushdown systems

Finkel, Alain; Willems, Bernard; Wolper, Pierre et al.

1997 • In Electronic Notes in Theoretical Computer Science, 9

Peer reviewed

Permalink
https://hdl.handle.net/2268/163835

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Finkel, Alain

Willems, Bernard

Wolper, Pierre ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)

Moller, Faron

Language :

English

Title :

A direct symbolic approach to model checking pushdown systems

Publication date :

1997

Event name :

Second International Workshop on Verification of Infinite State Systems

Event date :

July 11-12, 1997

Audience :

International

Journal title :

Electronic Notes in Theoretical Computer Science

eISSN :

1571-0661

Publisher :

Elsevier, Amsterdam, Netherlands

Volume :

Peer reviewed :

Peer reviewed

Available on ORBi :

since 04 March 2014

Statistics

Number of views

34 (0 by ULiège)

Number of downloads

0 (0 by ULiège)

More statistics