Sciweavers

4047 search results - page 191 / 810

» Algebraic Model Checking

130

Voted

TACAS
2007
Springer

99views Algorithms» more TACAS 2007»

Improved Algorithms for the Automata-Based Approach to Model-Checking

16 years 15 days ago

Improved Algorithms for the Automata-Based Approach to Model-Checking

Download mtc.epfl.ch

Laurent Doyen, Jean-François Raskin

claim paper

Read More »

144

Voted

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

16 years 15 days ago

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

Download www.informatik.uni-freiburg.de

Sebastian Kupferschmid, Klaus Dräger, Jö...

claim paper

Read More »

152

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

16 years 15 days ago

Linear-Time Model Checking: Automata Theory in Practice

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

173

CCECE
2006
IEEE

202views Electrical And Computer Engi...» more CCECE 2006»

A New Model Checking Approach for Verifying Agent Communication Protocols

16 years 14 days ago

A New Model Checking Approach for Verifying Agent Communication Protocols

Download users.encs.concordia.ca

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...

claim paper

Read More »

180

LICS
2006
IEEE

157views Automated Reasoning» more LICS 2006»

On Model-Checking Trees Generated by Higher-Order Recursion Schemes

16 years 12 days ago

On Model-Checking Trees Generated by Higher-Order Recursion Schemes

Download users.comlab.ox.ac.uk

We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...

C.-H. Luke Ong

claim paper

Read More »

« Prev « First page 191 / 810 Last » Next »