The following pages link to Pedro Antonino (Q2281623):
Displaying 7 items.
- (Q333318) (redirect page) (← links)
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Tighter reachability criteria for deadlock-freedom analysis (Q2281624) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- The Automatic Detection of Token Structures and Invariants Using SAT Checking (Q3303932) (← links)
- Checking Static Properties Using Conservative SAT Approximations for Reachability (Q5045468) (← links)
- The consensus machine: formalising consensus in the presence of malign agents (Q6535829) (← links)
