Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ivana Černá
DiVinE – A Tool for Distributed Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Extending DIVINE With Symbolic Verification Using SMT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
LEVER: A Tool for Learning Based Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Debugging Tool for Distributed Systems
BProVe: Tool Support for Business Process Verification
Dimanager: A Tool for Distributed Software Development Management
An Automatic Verification Tool for Firewall Configurations
Distributed Simulation for a Modeling and Simulation Tool: Papyrus
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
