Efficient Bounded Reachability Through Iterative Strengthening

Toni Jussila

Efficient Bounded Reachability Through Iterative Strengthening

Toni Jussila

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

Original language	English
Title of host publication	Concurrency, Specification and Programming CS&P'(2004), Berliini, Saksa, 23.-26.9.2004
Pages	262-273
Publication status	Published - 2004
MoE publication type	A4 Conference publication

Keywords

Bounded Model Checking
Labeled Transition Systems

Cite this

@inproceedings{ca2c00737977471ca1ec9ca5c6e88229,

title = "Efficient Bounded Reachability Through Iterative Strengthening",

keywords = "Bounded Model Checking, Labeled Transition Systems, Bounded Model Checking, Labeled Transition Systems, Bounded Model Checking, Labeled Transition Systems",

author = "Toni Jussila",

year = "2004",

language = "English",

pages = "262--273",

booktitle = "Concurrency, Specification and Programming CS\&P'(2004), Berliini, Saksa, 23.-26.9.2004",

}

TY - GEN

T1 - Efficient Bounded Reachability Through Iterative Strengthening

AU - Jussila, Toni

PY - 2004

Y1 - 2004

KW - Bounded Model Checking

KW - Labeled Transition Systems

KW - Bounded Model Checking

KW - Labeled Transition Systems

KW - Bounded Model Checking

KW - Labeled Transition Systems

M3 - Conference article in proceedings

SP - 262

EP - 273

BT - Concurrency, Specification and Programming CS&P'(2004), Berliini, Saksa, 23.-26.9.2004

ER -