Search Sciweavers | Sciweavers

1023 search results - page 12 / 205

» Model Checking: Software and Beyond

126

Voted

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 8 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

126

Voted

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 7 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

120

Voted

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 7 months ago

Download eagle.csie.ntut.edu.tw

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

claim paper

Read More »

119

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 29 days ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

107

Voted

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers