Search Sciweavers | Sciweavers

422 search results - page 6 / 85

» Model Checking TLA Specifications

126

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 10 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

131

Voted

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

16 years 17 days ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

163

Voted

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

16 years 13 days ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

112

click to vote

DATE
2008
IEEE

133views Hardware» more DATE 2008»

Model Checking of Analog Systems using an Analog Specification Language

16 years 8 days ago

Download www.date-conference.com

Sebastian Steinhorst, Lars Hedrich

claim paper

Read More »

132

click to vote

ISOLA
2007
Springer

120views Formal Methods» more ISOLA 2007»

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers