1.

Verifying RTECTL properties of a train controller systemVerifying RTECTL properties of a train controller system Find similar objects  |  Add to bibliography

2.

A Boolean encoding of arithmetic operationsA Boolean encoding of arithmetic operations Find similar objects  |  Add to bibliography

3.

Czasopisma NaukoweCzasopisma Naukowe Find similar objects  |  Add to bibliography

4.

Riemann integrability and quasi-uniform convergenceRiemann integrability and quasi-uniform convergence Find similar objects  |  Add to bibliography

5.

Model checking of Java programs using networks of FADDsModel checking of Java programs using networks of FADDs Find similar objects  |  Add to bibliography

6.

SMT-based reachability analysis for Simply-Timed SystemsSMT-based reachability analysis for Simply-Timed Systems Find similar objects  |  Add to bibliography