MetAcsl: Specification and Verification of High-Level Properties

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17462-0_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

High-Level Frameworks for the Specification and Verification of Scheduling Problems

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

High-Level Verification

IPSJ Transactions on System LSI Design Methodology
Electronic EngineeringComputer Science ApplicationsElectrical
2009English

Formal Specification and Verification

2019English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Formal Specification and Verification of Dynamic Parametrized Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Dynamic Access Control Policies: Specification and Verification

Computer Journal
Computer Science
2012English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Enhancing Formal Specification and Verification of E-Commerce Protocol

Journal of Advanced Computer Science & Technology
2017English

High-Level Debugging and Verification for FPGA-Based Multicore Architectures

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy