VeriAbs: Verification by Abstraction and Test Generation

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-89963-3_32
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Verification and Test Case Generation for Input Validation

2006English

Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2013English

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

2015English

Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology

Science of Computer Programming
Software
1997English

Termination by Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formal Proofs of Code Generation and Verification Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy