Automated Reasoning for Program Correctness (ARPC)

Main Links
- About AUB
  About AUB
  
  Founded in 1866, the American University of Beirut is a teaching-centered research university based on the American liberal arts model of higher education. AUB has over 8,000 students and 800 faculty members. The University encourages freedom of thought and expression and seeks to graduate men and women committed to creative and critical thinking, lifelong learning, personal integrity, civic responsibility, and leadership.
- Academics
  Academics
  
  AUB is accredited in the US by the Middle States Commission on Higher Education and includes six faculties: Arts and Sciences, Medicine, Engineering and Architecture, Agricultural and Food Sciences, Health Sciences, and Business. AUB offers more than 130 programs leading to bachelor's, master's, MD, and PhD degrees. The main language of instruction is English.
- Admissions
  Admissions
  
  Learn more about how you can join the American University of Beirut. AUB seeks applicants with a proven record of academic excellence, intellectual vitality, and civic responsibility. In accordance with its founding mission and its equal opportunity policy, the University admits students regardless of race, color, religion, gender, age, disability, or nationality.
- Research
  Research
  
  The vibrant and dynamic research environment at AUB enhances the educational experience for all and serves the wider communities—local and global—by advancing knowledge in a wide range of disciplines.
- Outreach
  Outreach
  
  Recognizing and honoring our responsibility for others has been an integral part of AUB’s mission since the earliest days. Today, AUB is at the forefront of addressing the most pressing concerns of this country, this region, and its people.
- Boldly Campaign
  BOLDLY Campaign
  
  To ensure the University can continue to inspire current and future generations of smart and able students who can rise to this challenge, we are embarking on a transformative capital campaign, BOLDLY AUB: The Campaign to Lead, Innovate, and Serve.
AUB Community
- A - Z
- Find People
- Libraries
- Alumni
Public
- Telehealth
- AUBMC
- Give
Useful Tools
- E-learning
- AUBSIS
- Webmail
- Title IX Online Training

Automated Reasoning for Program Correctness (ARPC)

At ARPC we build theories and supporting tools to enhance program correctness automation. The theories define (1) program data elements such as types, operations and relations, (2) program control elements such as conditionals, loops and functions, and (3) program correctness elements such as test cases, oracles, coverage criteria, assertions, pre-conditions, post-conditions and invariants. The aim is to establish that the program data and control elements satisfy the program correctness elements either by (i) analysis (static and dynamic) or by (ii) synthesis (construction). The supporting tools use structural analysis, logic solvers and model checkers to automate the process.

Contact:

Fadi Zaraket, Paul Attie

Contact Us

For various questions, please try contacting us via social media first!
read more

Privacy Statement

We take data privacy seriously and adhere to all applicable data privacy laws and regulations.
read more

Copyright and Disclaimer

Written permission is needed to copy or disseminate all or part of the materials on the AUB website.
read more

Title IX, Non-Discrimination, and Anti-Discriminatory Harassment

AUB is committed to providing a safe, respectful, and inclusive environment to all members of its community.
read more

American University of Beirut