Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Holzmann, Gerard J.
Combined from
CaltechAUTHORS
Holzmann, Gerard J. (2019)
Tau -- a lightweight tool for specifying and verifying tiny automata models
Filippidis, Ioannis and Murray, Richard M., et el. (2016)
A multi-paradigm language for reactive synthesis
; Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 202; 73-97;
10.4204/EPTCS.202.6
Filippidis, Ioannis and Murray, Richard M., et el. (2015)
Synthesis from multi-paradigm specifications
Filippidis, Ioannis and Holzmann, Gerard J. (2014)
An Improvement of the Piggyback Algorithm for Parallel Model Checking
; ISBN 978-1-4503-2452-6; SPIN 2014; 48-57;
10.1145/2632362.2632375