DiVinE – A Tool for Distributed Verification

Lecture Notes in Computer Science - Germany
doi 10.1007/11817963_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Extending DIVINE With Symbolic Verification Using SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

LEVER: A Tool for Learning Based Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Debugging Tool for Distributed Systems

English

BProVe: Tool Support for Business Process Verification

2017English

Dimanager: A Tool for Distributed Software Development Management

2004English

An Automatic Verification Tool for Firewall Configurations

English

Distributed Simulation for a Modeling and Simulation Tool: Papyrus

2019English

D-Finder: A Tool for Compositional Deadlock Detection and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy