Eiffel as a Framework for Verification

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-69149-5_32
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages
2017English

Towards a Verification Framework for Communicating Rational Agents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

VyPR2: A Framework for Runtime Verification of Python Web Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Design, Analysis and Verification Framework for Adaptive Flight Control

2015English

Eiffel Tower in Space

Nature
Multidisciplinary
1987English

Reflection as a Mechanism for Software Integrity Verification

ACM Transactions on Information and System Security
QualityReliabilitySafetyComputer ScienceRisk
2000English

CAN Database Verification Framework Using UPPAAL

International Journal of Computer Theory and Engineering
2017English

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2007English

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

IEEE Transactions on Software Engineering
Software
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy