Stateless software model checking parameterized with memory consistency models