Result Details

Register Automata with Linear Arithmetic

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30.
Type
report
Language
English
Authors
Lengál Ondřej, doc. Ing., Ph.D., DITS (FIT)
Chen Yu-Fang
Tan Tony
Wu Zhilin
URL
Published
2017
Pages
1–30
Place
arXiv:1704.03972
BibTeX 
@misc{BUT169472,
  author="Ondřej {Lengál} and Yu-Fang {Chen} and Tony {Tan} and Zhilin {Wu}",
  title="Register Automata with Linear Arithmetic",
  year="2017",
  pages="1--30",
  address="arXiv:1704.03972",
  url="https://arxiv.org/pdf/1704.03972.pdf"
}
Projects
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, start: 2017-01-01, end: 2019-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top