Combining CSP and B for Specification and Property Verification

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

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Property Specification Patterns for Finite-State Verification

1998English

Formal Specification and Verification

2019English

Combining CSP and MPC for the Operational Control of Water Networks

Engineering Applications of Artificial Intelligence
ControlSystems EngineeringElectricalArtificial IntelligenceElectronic Engineering
2016English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Rapid Property Specification and Checking for Model-Based Formalisms

2011English

FSP and FLTL Framework for Specification and Verification of Middle-Agents

International Journal of Applied Mathematics and Computer Science
EngineeringComputer ScienceApplied Mathematics
2011English

Dynamic Access Control Policies: Specification and Verification

Computer Journal
Computer Science
2012English

Formal Specification and Verification of Dynamic Parametrized Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

MetAcsl: Specification and Verification of High-Level Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy