Search Sciweavers | Sciweavers

7820 search results - page 35 / 1564

» Formalization of Time and Space

174

click to vote

FTRTFT
1992
Springer

128views Formal Methods» more FTRTFT 1992»

Specification and Verification of Real-Time Behaviour Using Z and RTL

15 years 8 months ago

Download sky.fit.qut.edu.au

Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...

Colin J. Fidge

claim paper

Read More »

150

click to vote

EUROGP
2010
Springer

172views Optimization» more EUROGP 2010»

Geometric Differential Evolution on the Space of Genetic Programs

15 years 7 months ago

Download www.cs.kent.ac.uk

Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...

Alberto Moraglio, Sara Silva

claim paper

Read More »

117

click to vote

IFM
2007
Springer

77views Formal Methods» more IFM 2007»

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

15 years 10 months ago

Download www.mpi-inf.mpg.de

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...

claim paper