PAT
From MaRDI portal
Cited in
(62)- IMITATOR
- Rabbit
- VINAS-P
- TAXYS
- TINA
- TCOZ
- APTS
- Maria
- Uppaal
- SeVe: automatic tool for verification of security protocols
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- SeVe
- Casper
- ProB
- LTSmin
- Formal verification of cP systems using PAT3 and ProB
- The complexity of verifying population protocols
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Sound reasoning in \textit{tock}-CSP
- LearnLib
- Dist-Orc
- JITty
- SMI++
- LinAIG
- Fundamentals of logic and computation. With practical automated reasoning and verification
- Model checking approach to automated planning
- LTSA-WS
- Formal analysis of fairness for optimistic multiparty contract signing protocol
- CSP-prover
- Shrinktech
- Advances in parameterized verification of population protocols
- Model checking with fairness assumptions using PAT
- Synthia
- ERA-PAT
- PTSC
- Formal analysis of composable DeFi protocols
- Papyrus
- Proving liveness property under strengthened compassion requirements
- Model checking under fairness in ProB and its application to fair exchange protocols
- Modelling timed reactive systems from natural-language requirements
- Formalising concurrent UML state machines using coloured Petri nets
- Model checking LTLR formulas under localized fairness
- An efficient algorithm for learning event-recording automata
- Process algebra and model checking
- Parametric Deadlock-Freeness Checking Timed Automata
- REDLIB
- MARTE
- P-Lingua
- ITS-Tools
- PSyHCoS
- Improved BDD-based discrete analysis of timed systems
- What's decidable about parametric timed automata?
- Parameter synthesis for hierarchical concurrent real-time systems
- A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
- Verification of population protocols
- Enabling synchronous and asynchronous communications in CSP for SOC
- An overview of the mCRL2 toolset and its recent advances
- Towards a combination of CafeOBJ and PAT
- A semantics for behavior trees using CSP with specification commands
- Towards verification of computation orchestration
- A formal semantics of extended hierarchical state transition matrices using CSP\#
- A sublinear Sudoku solution in cP systems and its formal verification
This page was built for software: PAT
