Sciweavers

223 search results - page 6 / 45

» Multi-Valued Model Checking via Classical Model Checking

57

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 1 months ago

Analyzing Mode Confusion via Model Checking

Download shemesh.larc.nasa.gov

Gerald Lüttgen, Victor Carreño

claim paper

Read More »

67

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 1 months ago

Model Checking via Reachability Testing for Timed Automata

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

69

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 1 months ago

Generating Regression Tests via Model Checking

Download eagle.csie.ntut.edu.tw

Lihua Xu, Marcio S. Dias, Debra J. Richardson

claim paper

Read More »

83

FM
2006
Springer

169views Formal Methods» more FM 2006»

PSL Model Checking and Run-Time Verification Via Testers

15 years 1 months ago

PSL Model Checking and Run-Time Verification Via Testers

Download cs.nyu.edu

Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...

Amir Pnueli, Aleksandr Zaks

claim paper

Read More »

53

AIPS
1998

81views Artificial Intelligence» more AIPS 1998»

Strong Planning in Non-Deterministic Domains Via Model Checking

14 years 10 months ago

Strong Planning in Non-Deterministic Domains Via Model Checking

Download www.cs.cmu.edu

Alessandro Cimatti, Marco Roveri, Paolo Traverso

claim paper

Read More »

« Prev « First page 6 / 45 Last » Next »