SeLoger is a French real estate platform that allows users to buy, sell, and rent properties, and the name also refers to a tool for graph-based reasoning in separation logic. The real estate website is one of the largest in France, helping users find a place to live, and its name translates to "to house oneself" or "to find lodging," notes the Cambridge Dictionary. The SeLoger tool is used in academic and research settings for automated reasoning in computer science.