Issue in Software Testing with Model Checkers

First Page		Document Content
Date: 2014-09-09 10:41:44 Software engineering Software testing Temporal logic SPIN model checker ALGOL 68 Computing Formal methods Model theory Model checkers Programming language theory Model checking		Issue in Software Testing with Model Checkers Add to Reading List Source URL: csrc.nist.gov Download Document from Source Website File Size: 40,08 KB Share Document on Facebook

	From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex DocID: 1xULF - View Document
	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce DocID: 1xUJO - View Document
	Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob DocID: 1xUI4 - View Document
	2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications DocID: 1vrV2 - View Document
	Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability DocID: 1v3pn - View Document