The following pages link to Pedro Antonino (Q2281623):
Displayed 6 items.
- Item:Q2281623 (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)