Perentie: Modular trace refinement and selective value tracking (competition contribution)

Franck Cassez; Takashi Matsuoka; Edward Pierzchalski; Nathan Smyth

doi:10.1007/978-3-662-46681-0_39

Perentie: Modular trace refinement and selective value tracking (competition contribution)

Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth

School of Computing

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

4 Citations (Scopus)

Abstract

Perentie is a software analysis tool based on iterative refinement of trace abstraction: if the refinement process terminates, the program is either declared correct or a counterexample is provided and the program is incorrect.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Editors	Christel Baier, Cesare Tinelli
Place of Publication	Heidelberg
Publisher	Springer, Springer Nature
Pages	439-442
Number of pages	4
ISBN (Electronic)	9783662466810
ISBN (Print)	9783662466803
DOIs	https://doi.org/10.1007/978-3-662-46681-0_39
Publication status	Published - 2015
Event	21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 - London, United Kingdom Duration: 11 Apr 2015 → 18 Apr 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	9035
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015
Country/Territory	United Kingdom
City	London
Period	11/04/15 → 18/04/15

Access to Document

10.1007/978-3-662-46681-0_39

Cite this

Cassez, F., Matsuoka, T., Pierzchalski, E., & Smyth, N. (2015). Perentie: Modular trace refinement and selective value tracking (competition contribution). In C. Baier, & C. Tinelli (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (pp. 439-442). (Lecture Notes in Computer Science; Vol. 9035). Springer, Springer Nature. https://doi.org/10.1007/978-3-662-46681-0_39

Cassez, Franck ; Matsuoka, Takashi ; Pierzchalski, Edward et al. / Perentie : Modular trace refinement and selective value tracking (competition contribution). Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. editor / Christel Baier ; Cesare Tinelli. Heidelberg : Springer, Springer Nature, 2015. pp. 439-442 (Lecture Notes in Computer Science).

@inproceedings{782184778e5f4e078255341c11532432,

title = "Perentie: Modular trace refinement and selective value tracking (competition contribution)",

abstract = "Perentie is a software analysis tool based on iterative refinement of trace abstraction: if the refinement process terminates, the program is either declared correct or a counterexample is provided and the program is incorrect.",

author = "Franck Cassez and Takashi Matsuoka and Edward Pierzchalski and Nathan Smyth",

year = "2015",

doi = "10.1007/978-3-662-46681-0_39",

language = "English",

isbn = "9783662466803",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Springer Nature",

pages = "439--442",

editor = "Christel Baier and Cesare Tinelli",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "United States",

note = "21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 ; Conference date: 11-04-2015 Through 18-04-2015",

}

Cassez, F, Matsuoka, T, Pierzchalski, E & Smyth, N 2015, Perentie: Modular trace refinement and selective value tracking (competition contribution). in C Baier & C Tinelli (eds), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9035, Springer, Springer Nature, Heidelberg, pp. 439-442, 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, United Kingdom, 11/04/15. https://doi.org/10.1007/978-3-662-46681-0_39

Perentie: Modular trace refinement and selective value tracking (competition contribution). / Cassez, Franck; Matsuoka, Takashi; Pierzchalski, Edward et al.
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. ed. / Christel Baier; Cesare Tinelli. Heidelberg: Springer, Springer Nature, 2015. p. 439-442 (Lecture Notes in Computer Science; Vol. 9035).

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

TY - GEN

T1 - Perentie

T2 - 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015

AU - Cassez, Franck

AU - Matsuoka, Takashi

AU - Pierzchalski, Edward

AU - Smyth, Nathan

PY - 2015

Y1 - 2015

N2 - Perentie is a software analysis tool based on iterative refinement of trace abstraction: if the refinement process terminates, the program is either declared correct or a counterexample is provided and the program is incorrect.

AB - Perentie is a software analysis tool based on iterative refinement of trace abstraction: if the refinement process terminates, the program is either declared correct or a counterexample is provided and the program is incorrect.

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

U2 - 10.1007/978-3-662-46681-0_39

DO - 10.1007/978-3-662-46681-0_39

M3 - Conference proceeding contribution

AN - SCOPUS:84926623525

SN - 9783662466803

T3 - Lecture Notes in Computer Science

SP - 439

EP - 442

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Baier, Christel

A2 - Tinelli, Cesare

PB - Springer, Springer Nature

CY - Heidelberg

Y2 - 11 April 2015 through 18 April 2015

ER -

Cassez F, Matsuoka T, Pierzchalski E, Smyth N. Perentie: Modular trace refinement and selective value tracking (competition contribution). In Baier C, Tinelli C, editors, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Heidelberg: Springer, Springer Nature. 2015. p. 439-442. (Lecture Notes in Computer Science). doi: 10.1007/978-3-662-46681-0_39

Perentie: Modular trace refinement and selective value tracking (competition contribution)

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this