Search Sciweavers | Sciweavers

1023 search results - page 12 / 205

» Model Checking: Software and Beyond

Voted

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

15 years 1 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 1 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 1 months ago

Download eagle.csie.ntut.edu.tw

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

claim paper

Read More »

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

14 years 6 months ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

Voted

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers