On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.

Susmoy Das Arpit Sharma

Published in: FORTE (2023)

Keyphrases

model checking
finite state machines
probabilistic model
temporal logic
model checker
verification method
temporal properties
reactive systems
concurrent systems
distributed systems
automated verification
artificial intelligence
domain independent
formal verification
asynchronous circuits
artifact centric