Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Petr Ročkai
Extending DIVINE With Symbolic Verification Using SMT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
DiVinE – A Tool for Distributed Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Optimization With SMT Solvers
Security Protocol Verification: Symbolic and Computational Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Symbolic Verification of Bitcoin’s Script Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extending Coq With Imperative Features and Its Application to SAT Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Scalable Automated Symbolic Analysis of Administrative Role-Based Access Control Policies by SMT Solving1
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Extending Graphical Representations for Compact Closed Categories With Applications to Symbolic Quantum Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Adding Decision Procedures to SMT Solvers Using Axioms With Triggers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Extending the Limits of Ensemble Forecast Verification With the Minimum Spanning Tree
Monthly Weather Review
Atmospheric Science
