O-O Requirements Analysis: an Agent Perspective
Abstract elided by the publisher.
Related papers
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Perception with Guarantees: Certified Pose Estimation via Reachability Analysis CAV 2026
- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol CAV 2019
- Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs CAV 2024
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks CAV 2025
- Process-Centric Analysis of Agentic Software Systems OOPSLA 2026
- Semantics-Directed Program Analysis: A Tool-Maker's Perspective SAS 1996