ℹ️
🇬🇧
Search
Search for people relevant for "predicate abstraction"
predicate abstraction
Person
Class
Person
Publication
Programmes
RNDr. Ondřej Šerý Ph.D.
External academic staff at Faculty of Mathematics and Physics
26 publications
Publications
publication
Enhanced Property Specification and Verification in BLAST
2009 |
Faculty of Mathematics and Physics
publication
Threaded Behavior Protocols
2013 |
Faculty of Mathematics and Physics
publication
eVolCheck: Incremental Upgrade Checker for C
2013 |
Faculty of Mathematics and Physics
publication
Leveraging Interpolant Strength in Model Checking
2012 |
Faculty of Mathematics and Physics
publication
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
2012 |
Faculty of Mathematics and Physics
publication
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries
2012 |
Faculty of Mathematics and Physics
publication
Strengthening Component Architectures by Modeling Fine-Grained Entities
2011 |
Faculty of Mathematics and Physics
publication
Applicability of the BLAST Model Checker: An Industrial Case Study
2010 |
Faculty of Mathematics and Physics
publication
AI Level of Detail for Really Large Worlds
2010 |
Faculty of Mathematics and Physics
publication
On Teaching Formal Methods: Behavior Models and Code Analysis
2009 |
Faculty of Mathematics and Physics
Load more publications (16)
Loading network view...