PAT

swMATH13258MaRDI QIDQ25173FDOQ25173

Author name not available (Why is that?)

Cited In (33)

• A sublinear Sudoku solution in cP systems and its formal verification
• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• Enabling synchronous and asynchronous communications in CSP for SOC
• Proving Liveness Property under Strengthened Compassion Requirements
• A semantics for behavior trees using CSP with specification commands
• Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols
• Towards a Combination of CafeOBJ and PAT
• Sound reasoning in \textit{tock}-CSP
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• Fundamentals of logic and computation. With practical automated reasoning and verification
• Process Algebra and Model Checking
• Model checking approach to automated planning
• Towards efficient verification of population protocols
• A process calculus BigrTiMo of mobile systems and its formal semantics
• A formal semantics of extended hierarchical state transition matrices using CSP\#
• Towards verification of computation orchestration
• Formalising concurrent UML state machines using coloured Petri nets
• Modelling timed reactive systems from natural-language requirements
• An Efficient Algorithm for Learning Event-Recording Automata
• Formal verification of cP systems using PAT3 and ProB
• An Overview of the mCRL2 Toolset and Its Recent Advances
• Parametric Deadlock-Freeness Checking Timed Automata
• Improved BDD-Based Discrete Analysis of Timed Systems
• Formal analysis of composable DeFi protocols
• Formal analysis of fairness for optimistic multiparty contract signing protocol
• Parameter synthesis for hierarchical concurrent real-time systems
• Advances in parameterized verification of population protocols
• The complexity of verifying population protocols
• Model Checking LTLR Formulas under Localized Fairness
• Model checking with fairness assumptions using PAT
• What’s Decidable About Parametric Timed Automata?
• SeVe: automatic tool for verification of security protocols
• Verification of population protocols

This page was built for software: PAT