PAT

swMATH13258MaRDI QIDQ25173FDOQ25173

Author name not available (Why is that?)

Official website: http://pat.comp.nus.edu.sg/

Cited In (56)

• A sublinear Sudoku solution in cP systems and its formal verification
• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• Process algebra and model checking
• 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
• 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
• What's decidable about parametric timed automata?
• Model checking approach to automated planning
• 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
• Towards a combination of CafeOBJ and PAT
• Model checking LTLR formulas under localized fairness
• IMITATOR
• Rabbit
• Uppaal
• Casper
• SeVe
• ProB
• LTSmin
• LearnLib
• Dist-Orc
• JITty
• SMI++
• LinAIG
• LTSA-WS
• CSP-prover
• Shrinktech
• ERA-PAT
• Synthia
• PTSC
• Papyrus
• Formal verification of cP systems using PAT3 and ProB
• Parametric Deadlock-Freeness Checking Timed Automata
• REDLIB
• MARTE
• P-Lingua
• ITS-Tools
• PSyHCoS
• 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
• 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
• An overview of the mCRL2 toolset and its recent advances
• Verification of population protocols

This page was built for software: PAT