4047 search results - page 23 / 810 » Algebraic Model Checking |
DAM
2008
13 years 8 months ago
2008
This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...
CMSB
2008
Springer
13 years 10 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
ENTCS
2006
13 years 8 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
WOSP
2000
ACM
14 years 28 days ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...