Result Details

Relational Verification of Programs with Integer Data

KONEČNÝ, F. Relational Verification of Programs with Integer Data. Brno: Faculty of Information Technology BUT, 2012. 153 p.

Type

dissertation

Language

English

Authors

Konečný Filip, Ing., Ph.D., FIT (FIT)

Keywords

programs with integers, counter automata, reachability analysis, termination analysis, acceleration, transitive closures, procedure summaries, recurrent sets, termination preconditions

Published

2012

Pages

153

Publisher

Faculty of Information Technology BUT

Place

Brno

BibTeX

@misc{BUT192866,
  author="Filip {Konečný}",
  title="Relational Verification of Programs with Integer Data",
  year="2012",
  pages="153",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/10182/"
}

Files

pdf main.pdf 1 MB

Research groups

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Departments

Department of Intelligent Systems (DITS)