Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

State space enumeration

In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2021
2021
We present the next generation of ORIS, a toolbox for quantitative evaluation of concurrent models with non-Markovian timers. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2013
2013
Resilient network design has become a prominent research topic in the wake of recent disasters in Japan and the United States… Expand
  • figure 1
  • figure 3
  • figure 2
  • table I
  • figure 4
2011
2011
Hierarchical Scheduling (HS) systems manage a set of realtime applications through a scheduling hierarchy, enabling partitioning… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
2008
2008
We describe a methodology that embeds the theory of preemptive Time Petri Nets (pTPN) along development and verification… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2008
2008
This thesis presents a software implementation that provides an application-independent method for searching and enumerating… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
2007
2007
We address the problem of test case selection and path sensitization in the process of testing real-time preemptive systems… Expand
  • figure 1
  • figure 2
  • figure 3
2006
2006
This paper presents a method of partial automation of specification based regression testing, which we call ESSE (Explicit State… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
2004
2004
The sequential circuit state space diameter problem is an important problem in sequential verification. Bounded model checking is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2000
2000
Presents a class of Petri nets called process nets with resources (PNRs) for modeling manufacturing systems where only parts can… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
1993
1993
The fundamental question we intend to investigate in this study is How should capacity be allocated in a cellular network so as… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6