A Comparison of Modular Verification Techniques

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

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Modular Verification of Computer Communication Protocols

IEEE Transactions on Communications
1983English

Modular Verification of Strongly Invasive Aspects

2009English

Modular Verification of Collaboration-Based Software Designs

ACM SIGSOFT Software Engineering Notes
2001English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

Modular Verification of Security Protocol Code by Typing

ACM SIGPLAN Notices
Computer Science
2010English

Verification Techniques for LOTOS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

English

Modular Verification of Linked Lists With Views via Separation Logic.

Journal of Object Technology
Software
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy