The following pages link to Alessandro Armando (Q219435):
Displaying 34 items.
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- The SAT-based approach to separation logic (Q862390) (← links)
- Automating the synthesis of decision procedures in a constructive metatheory (Q1267772) (← links)
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- Constraint contextual rewriting. (Q1404984) (← links)
- Structured proof procedures (Q1924823) (← links)
- A reconstruction and extension of Maple's assume facility via constraint contextual rewriting (Q2456557) (← links)
- A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic (Q2709804) (← links)
- Communication protocols for mathematical services based on KQML and OMRS (Q2751535) (← links)
- Interfacing computer algebra and deduction systems via the logic broker architecture (Q2751537) (← links)
- An optimized intruder model for SAT-based model-checking of security protocols (Q2848037) (← links)
- \textsf{TSAT++}: an open platform for satisfiability modulo theories (Q2848055) (← links)
- From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (Q2900177) (← links)
- Maple's evaluation process as constraint contextual rewriting (Q2958911) (← links)
- (Q4422080) (← links)
- (Q4475649) (← links)
- (Q4499163) (← links)
- (Q4518863) (← links)
- (Q4539649) (← links)
- (Q4785507) (← links)
- (Q4804908) (← links)
- LTL model checking for security protocols (Q5188173) (← links)
- New results on rewrite-based satisfiability procedures (Q5277822) (← links)
- Theory and Applications of Satisfiability Testing (Q5325866) (← links)
- Logics in Artificial Intelligence (Q5394158) (← links)
- Frontiers of Combining Systems (Q5491893) (← links)
- Theory and Applications of Satisfiability Testing (Q5714755) (← links)
- Mechanizing Mathematical Reasoning (Q5717459) (← links)
- Mechanizing Mathematical Reasoning (Q5717462) (← links)
- Abstraction Refinement of Linear Programs with Arrays (Q5758120) (← links)
- Model Checking Software (Q5899041) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
