LEVER: A Tool for Learning Based Verification

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

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

DiVinE – A Tool for Distributed Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Technological Lever as a Tool for Product-Engineering Enterprise Technology Platforms

Technology audit and production reserves
2015English

The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems

ACM Transactions on Programming Languages and Systems
Software
1993English

SAT-Based Compositional Verification Using Lazy Learning

English

BProVe: Tool Support for Business Process Verification

2017English

Case Studies – A Tool for Learning

Proceedings of the Canadian Engineering Education Association (CEEA)
2012English

An Automatic Verification Tool for Firewall Configurations

English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Multiple Kernel Learning for Speaker Verification

2008 IEEE International Conference on Acoustics, Speech and Signal Processing
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy