引用次数
引用: 3,558
H-指数: 32
I10-指数 : 92
出版物: 251
Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors
Toma Vojnar , Luka Charvat , Ales Smrcka
microprocessor test and verification 83 -89
4
2014
Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description
Luka Charvat , Ale Smrcka , Toma Vojnar
microprocessor test and verification 6 -12
8
2012
Generating and using state spaces of object-oriented Petri nets.
Tomás Vojnar , Vladimír Janousek , Milan Ceska
Computer Systems: Science & Engineering 16 183 -193
3
2001
Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution).
Tomás Vojnar , Petr Peringer , Kamil Dudka
tools and algorithms for construction and analysis of systems 412 -414
6
2014
CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution).
Tomás Vojnar , Petr Müller
tools and algorithms for construction and analysis of systems 395 -397
5
2014
Tool Demonstration of the FLATA Counter Automata Toolset.
Tomás Vojnar , Filip Konecný , Radu Iosif , Marius Bozga
WING@ETAPS/IJCAR 75
5
2010
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).
Tomás Vojnar , Petr Peringer , Kamil Dudka , Petr Müller
tools and algorithms for construction and analysis of systems 545 -548
1
2012
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report).
Tomás Vojnar , Lukás Holík , Ondrej Lengál , Vojtech Havlena
arXiv: Logic in Computer Science
1
2019
Verifying parametrised hardware designs via counter automata
Ales Smrčka , Tomás Vojnar
haifa verification conference 51 -68
20
2007
Verifying VHDL designs with multiple clocks in SMV
Aleš Smrčka , Vojtěch Řehák , Tomás Vojnar , David Šafránek
Springer Berlin Heidelberg 148 -164
5
2006
libVATA-a C++ library for efficient manipulation with non-deterministic finite (tree) automata
Ondrej Lengál , Jirı Simácek , Tomás Vojnar , Martin Hruska
URL: https://github. com/ondrik/libvata
6
Slide: Separation logic with inductive definitions
Radu Iosif , Adam Rogalewicz , Tomás Vojnar
URL: http://www. fit. vutbr. cz/research/groups/verifit/tools/slide
5
2015
Antiprenexing for WSkS: A Little Goes a Long Way.
Vojtech Havlena , Lukás Holík , Ondrej Lengál , Ondrej Vales
LPAR 298 -316
4
2020
Libvata: highly optimised non-deterministic finite tree automata library
Ondrej Lengál , Jirı Simácek , Tomás Vojnar
3
2015
Tools and Algorithms for the Construction and Analysis of Systems LNCS 11427
Tomáś Vojnar , Lijun Zhang
Mediating for Reduction (on Minimizing Alternating Büchi Automata).
Parosh A Abdulla , Yu-Fang Chen , Lukas Holik , Tomaˇs Vojnar
foundations of software technology and theoretical computer science 4 1 -12
5
2009
Paper III
Parosh A Abdulla , Ahmed Bouajjani , Lukaˇs Holık , Lisa Kaati
Verifying Concurrent Programs Using Contracts
Carla Ferreira , Jan Fiedor , Joao M Lourenco , Aleš Smrcka
Parameterized Systems with Resource Sharing
Ahmed Bouajjani , Peter Habermehl , Tomaš Vojnar
From Shapes to Amortized Complexity⋆ Tomaš Fiedor1, Lukaš Holık1, Adam Rogalewicz1
Moritz Sinn , Tomaš Vojnar , Florian Zuleger
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings 10747 205 -205
2018