Back to Results
First PageMeta Content
Logic in computer science / Model theory / Presburger arithmetic / Proof theory / Data types / Computability theory / Oz / Abstract interpretation / Peano axioms / Mathematical logic / Mathematics / Theoretical computer science


A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1
Add to Reading List

Document Date: 2012-06-11 13:15:35

Open Document

File Size: 80,21 KB

Share Result on Facebook

City

Grenoble / /

Company

Numerical Transition Systems / E LDARICA / Integer Numerical Transition Systems / Embedded Software / Microsoft / Intel / /

Country

France / Sweden / Czech Republic / /

Currency

pence / /

/

Facility

INTS library / Swiss Federal Institute of Technology Lausanne / Brno University of Technology / Uppsala University / /

IndustryTerm

counter systems / semi-algorithm computing / verification algorithms / verification tools / hierarchical infinite-state transition systems / finite-state boolean transition systems / transition systems / respective tool / software systems / software verification / verification tool / /

Organization

Centre of Excellence / European Union / Czech Science Foundation / Brno University of Technology / Uppsala University / Swiss Federal Institute of Technology Lausanne / Czech Ministry of Education / /

Person

Craig Interpolants / Filip Kone / /

Position

Princess / /

Product

Numerical Transition System / /

ProgrammingLanguage

Verilog / Scala / /

Technology

RAM / Verilog / caching / designing verification algorithms / VHDL / /

URL

http /

SocialTag