python (65.2k questions)

javascript (44.3k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (13k questions)

Questions - uppaal

Uppaal : Is there a way to know the size of the state space?

In Uppaal, is there a way to know how many states exists as the combination of locations and variables
test-img

Yasmine

uppaal

Votes: 0

Answers: 1

Latest Answer

For predictions, one could naively multiply all automata locations and variable ranges, but this gives wastly pesimistic result, exceeding the real state space size most of the time, therefore it is m...
test-img

mariusm

What is the difference between Symbolic and Concrete model checking when the search is bounded in time?

Could someone please spend a few words to explain to someone who does not come from a formal methods background what is the difference between verifying a specification using Symbolic Model Checking a...
test-img

giudaballerino

verification

formal-verification

model-checking

state-space

uppaal

Votes: 0

Answers: 1

Latest Answer

Symbolic model checking is based on symbolic/mathematical techniques and thus is exhaustive and provides qualitative answers (satisfied or unsatisfied). If model includes some stop-watches, then reach...
test-img

mariusm

Posts

Questions

Blogs

Jobs