An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-55179-4_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

An Open Logical Framework

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2013English

A Formal Framework for Specifying Concurrent Systems

International Journal of Computer Applications
2013English

Verifying Information Flow Properties of Hybrid Systems

2013English

The Guided System Development Framework: Modeling and Verifying Communication Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems

International Journal of Systems and Service-Oriented Engineering
2015English

Logical Closure Properties of Propositional Proof Systems

English

Verification and Testing of Concurrent Systems With Action Races

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems

International Journal of Information and Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2011English

Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy