Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets

Bernard Blackham; Mark Liffiton; Gernot Heiser

doi:10.1109/RTAS.2014.6926000

Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets

Bernard Blackham, Mark Liffiton, Gernot Heiser

Illinois Wesleyan University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	2014 IEEE 20th Real Time and Embedded Technology and Applications Symposium, RTAS 2014
Publisher	IEEE Computer Society
Pages	169-178
Number of pages	10
Edition	October
ISBN (Electronic)	9781479946914
DOIs	https://doi.org/10.1109/RTAS.2014.6926000
State	Published - Oct 15 2014
Event	2014 20th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2014 - Berlin, Germany Duration: Apr 15 2014 → Apr 17 2014

Publication series

Name	Real-Time Technology and Applications - Proceedings
Number	October
Volume	2014-October
ISSN (Print)	1080-1812

Conference

Conference	2014 20th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2014
Country/Territory	Germany
City	Berlin
Period	4/15/14 → 4/17/14

ASJC Scopus Subject Areas

Computer Networks and Communications
Hardware and Architecture
Software

Keywords

Operating system kernels
Real time systems
Software verification and validation

Access to Document

10.1109/RTAS.2014.6926000

Cite this

Blackham, B., Liffiton, M., & Heiser, G. (2014). Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. In 2014 IEEE 20th Real Time and Embedded Technology and Applications Symposium, RTAS 2014 (October ed., pp. 169-178). Article 6926000 (Real-Time Technology and Applications - Proceedings; Vol. 2014-October, No. October). IEEE Computer Society. https://doi.org/10.1109/RTAS.2014.6926000

Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. / Blackham, Bernard; Liffiton, Mark; Heiser, Gernot.
2014 IEEE 20th Real Time and Embedded Technology and Applications Symposium, RTAS 2014. October. ed. IEEE Computer Society, 2014. p. 169-178 6926000 (Real-Time Technology and Applications - Proceedings; Vol. 2014-October, No. October).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Blackham, B, Liffiton, M & Heiser, G 2014, Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. in 2014 IEEE 20th Real Time and Embedded Technology and Applications Symposium, RTAS 2014. October edn, 6926000, Real-Time Technology and Applications - Proceedings, no. October, vol. 2014-October, IEEE Computer Society, pp. 169-178, 2014 20th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2014, Berlin, Germany, 4/15/14. https://doi.org/10.1109/RTAS.2014.6926000

@inproceedings{12e0769b64cf4da68f5910304043ec4e,

title = "Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets",

keywords = "Operating system kernels, Real time systems, Software verification and validation",

author = "Bernard Blackham and Mark Liffiton and Gernot Heiser",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 2014 20th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2014 ; Conference date: 15-04-2014 Through 17-04-2014",

year = "2014",

month = oct,

day = "15",

doi = "10.1109/RTAS.2014.6926000",

language = "English",

series = "Real-Time Technology and Applications - Proceedings",

publisher = "IEEE Computer Society",

number = "October",

pages = "169--178",

booktitle = "2014 IEEE 20th Real Time and Embedded Technology and Applications Symposium, RTAS 2014",

edition = "October",

}

TY - GEN

T1 - Trickle

T2 - 2014 20th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2014

AU - Blackham, Bernard

AU - Liffiton, Mark

AU - Heiser, Gernot

PY - 2014/10/15

Y1 - 2014/10/15

KW - Operating system kernels

KW - Real time systems

KW - Software verification and validation

UR - http://www.scopus.com/inward/record.url?scp=84926672365&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84926672365&partnerID=8YFLogxK

U2 - 10.1109/RTAS.2014.6926000

DO - 10.1109/RTAS.2014.6926000

M3 - Conference contribution

AN - SCOPUS:84926672365

T3 - Real-Time Technology and Applications - Proceedings

SP - 169

EP - 178

BT - 2014 IEEE 20th Real Time and Embedded Technology and Applications Symposium, RTAS 2014

PB - IEEE Computer Society

Y2 - 15 April 2014 through 17 April 2014

ER -

Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this