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
• Improved BDD-based discrete analysis of timed systems
• Enabling synchronous and asynchronous communications in CSP for SOC
• A semantics for behavior trees using CSP with specification commands
• Towards a Combination of CafeOBJ and PAT
• An efficient algorithm for learning event-recording automata
• 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
• Model checking LTLR formulas under localized fairness
• 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
• 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 with fairness assumptions using PAT
• What’s Decidable About Parametric Timed Automata?
• Proving liveness property under strengthened compassion requirements
• SeVe: automatic tool for verification of security protocols
• Model checking under fairness in ProB and its application to fair exchange protocols
• Verification of population protocols

This page was built for software: PAT